Definition:Infimum of Set/Finite Infimum

Definition
Let $\struct {S, \preccurlyeq}$ be an ordered set.

Let $T \subseteq S$ admit a infimum $\inf T$.

If $T$ is finite, $\inf T$ is called a finite infimum.

Also see

 * Definition:Finite Supremum