for L being LATTICE holds
( L is distributive iff L opp is distributive )