for C being complete Lattice
for a being Element of C holds
( "\/" {a} = a & "/\" {a} = a )