theorem Th8: :: LATTICE5:8

for A being set
for a, b being Element of (EqRelLATT A) holds a "/\" b = a /\ b