for L being bounded LATTICE holds
( L is complemented iff L opp is complemented )