A lower bound of a subset SSS of a poset (X,≤)(X,\leq)(X,≤) is an element aaa of PPP such that for all x∈Sx\in Sx∈S, a≤xa\leq xa≤x.