<-- Go Back Last Updated: 10/06/2025

Bound (Order Theory)**

Given a partial order \((P,\leq)\) and a subset \(S\subseteq P\), an upper (resp. lower) bound of \(S\) is an element \(x\in P\) such that \(\forall s\in S: s\leq x\) (resp. \(x\leq s\)).