Transitive

The property of Inequalities to hold for other inequalities.

Definition

$A\equiv B\wedge B\equiv C⟹A\cong C$

Specific Transitivity Operations

Transitivity of $=$

• If $a=b,b=c$
• Then, $a=c$

Transitivity of $<$

• If $a<b,b<c$
• Then, $a<c$