Claim:≤ is reflexive

From CS2800 wiki
For any set [math]A [/math], we have [math]\href{/cs2800/wiki/index.php/Equality_(cardinality)}{ |A| ≤ |A|} [/math]. In other words, the "smaller than" relation on sets is reflexive.