for L being Lattice
for p, q being Element of L holds p <=> q = q <=> p ;