Misalkan \(Y\) himpunan bagian dari poset \(X\text{.}\) Elemen \(u\) dalam \(X\) disebut batas atas dari \(Y\) jika \(a \preceq u\) untuk setiap elemen \(a \in Y\text{.}\) Jika \(u\) merupakan batas atas dari \(Y\) sedemikian sehingga \(u \preceq v\) untuk setiap batas atas lain \(v\) dari \(Y\text{,}\) maka \(u\) disebut batas atas terkecil atau supremum dari \(Y\text{.}\) Elemen \(l\) dalam \(X\) disebut batas bawah dari \(Y\) jika \(l \preceq a\) untuk setiap \(a \in Y\text{.}\) Jika \(l\) merupakan batas bawah dari \(Y\) sedemikian sehingga \(k \preceq l\) untuk setiap batas bawah lain \(k\) dari \(Y\text{,}\) maka \(l\) disebut batas bawah terbesar atau infimum dari \(Y\text{.}\)