Proof:≤ is reflexive

For any set , we have . In other words, the "smaller than" relation on sets is reflexive.
Proof: ≤ is reflexive
Choose an arbitrary set . Then the identity function is an injection. To see this, suppose . Plugging in the definition of , this means that as required.