MathGloss

A lower bound of a subset SS of a poset (X,)(X,\leq) is an element aa of PP such that for all xSx\in S, axa\leq x.