Let $(X,\leq)$ be a poset and let $S\subseteq X$. The infimum of this subset, if it exists, is a lower bound $a$ of $S$ in $X$ such that for all lower bounds $y$ of $S$ in $X$, $y\leq a$. That is, the infimum is the greatest lower bound.