Prove that if and , then .

*Proof.*

By the transitivity of (Theorem I.17), we have that if and , then .

Then, if and we have by substitution.

If and , then by substitution.

If and , then by transitivity of the relation. Hence, by definition of .

Thus, in all cases and implies