Definition:Infimum of Set/Finite Infimum

From ProofWiki
Jump to navigation Jump to search

Definition

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

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


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


Also see