Infimum

Definition

$\inf (A)$ Consider an Partially Ordered Set $X$ and a subset $Y\subset X$. The infimum (largest Lower Bound) $y_0$ of $Y$ is defined as the largest element of the set of lower bounds