Let $$X$$ be a partially ordered set, and let $$Y$$ be a subset of $$X$$.
We say that $$y$$ is a minimal element of $$Y$$ if [...].
We say that $$y$$ is a maximal element of $$Y$$ if [...].