for L being Lattice
for I, J being Ideal of L holds
( I c= I "\/" J & J c= I "\/" J )