Integer less than or equal to


THEOREM   

Integer less than or equal to is transitive.

$$\forall x,y,z \in \mathbb{Z} : x \lt y \wedge y \lt z \Rightarrow x \lt z$$

Proof available

Proper supersets