This leads to the definition of upper bounds .Given a subset S of some poset P, an upper bound of S is an element b of P that is above all elements of S.

• 这种更加抽象的方式更有意义，因为你可以从一般性架构推导出各种定理，而不用关心任何特定次序的细节。