An element in a Poset is maximal if implies
or equivalently there is no such that .