<-- Go Back Last Updated: 11/01/2025

Maximal/Minimal Element**

Given a partial order \((P,\leq)\), a maximal (resp. minimum) element of \(P\) is some \(M\in P:\forall x\in P:x\leq M\) (resp. \(m\in P:\forall x\in P:m\leq M\)).