Maximal element of a linearly ordered set

Printable View