consider x being Element of T;
take {x} opp+id ; :: thesis: ( {x} opp+id is monotone & {x} opp+id is antitone & {x} opp+id is reflexive & {x} opp+id is strict )
thus ( {x} opp+id is monotone & {x} opp+id is antitone & {x} opp+id is reflexive & {x} opp+id is strict ) ; :: thesis: verum