for L being Lattice
for p, q being Element of L holds
( [p,q] in LattRel L iff p [= q )