Lm2:
for X being set
for R being Relation of X st R = id X holds
R is total
Lm3:
for X being set
for R being Relation st R = id X holds
( R is reflexive & R is symmetric & R is antisymmetric & R is transitive )
Lm4:
for X being set holds id X is Relation of X