for L being non empty Poset holds
( L is completely-distributive iff L opp is completely-distributive )