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