maximal element

element of S that is not smaller than any other element in S