for A being set
for a, b being Element of (EqRelLATT A) holds
( a <= b iff a c= b )