On the Topological Properties of Meet-Continuous Lattices by Artur Kornilowicz. Let L be a non empty relational structure.
L is monotone.
Let S , T be non empty relational structures and let f be a map from S into T . L be non empty relational structures, f be a map from S into T , and g be a map from K into L . Then g is monotone. L be non empty relational structures, f be a map from S into T , and g be a map from K into L . Then g is antitone.