theorem Th6: :: LATTICE5:6

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