P
Initializing...
A nonempty finite subset of a partial order has a maximal member · Prove2Me