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