Definition:Finite Infima Set

Definition
Let $P = \left({S, \preceq}\right)$ be an ordered set.

Let $X$ be a subset of $S$.

Then finite infima set of $X$, denoted $\operatorname{fininfs}\left({X}\right)$, is defined by
 * $\left\{ {\inf A: A \in \mathit{Fin}\left({X}\right) \land A}\right.$ admits an infimum$\left.{}\right\}$

where $\mathit{Fin}\left({X}\right)$ denotes the set of all finite subsets of $X$.