In mathematics, especially in order theory, a lower bound of a subset S of some partially ordered set (K, ≤) is an element of K which is less than or equal to every element of S.
A subset S of a partially ordered set K may fail to have any bounds or may have many different upper and lower bounds. By transitivity, any element less than or equal to any lower bound of S is again a lower bound of S. This leads to the consideration of greatest lower bounds (or infima).