minimal element

Let \(A\) be a set and \(<\) a relation on \(A\). Then \(m \in A\) is said to be a minimal (or dually maximal element), if there doesn't exist an \(a \in A \setminus \{m\}\) with \(a < m\).