Definition:Minimal

Let $$\left({S; \le}\right)$$ be a poset.

An element $$x \in S$$ is minimal iff:

$$y \le x \Longrightarrow x = y$$

That is, the only element of $$S$$ that $$x$$ "succeeds-or-is-equal-to" is itself.