In mathematics, especially in order theory, a maximal element of a subset of some preordered set is an element of that is not smaller than any other element in. A minimal element of a subset of some preordered set is defined dually as an element... Wikipedia