Integer less than


Definition

$$(a, b) \lt (c, d) \Leftrightarrow a + c \lt b + d$$
THEOREM   

Integer less than is transitive.

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

Proof available

Proper supersets