Category:Ordered Set of Mappings is Lattice iff Codomain is Lattice or Domain is Empty