 In other words, when the relation \(R\) such as \( \pmlt \) is Dedekindian when every class \(\alpha \) has either a maximum or a sequent with respect to \( R \). This is the standard definition by which every segment with an upper bound has a least upper bound. That least upper bound will either be the maximum of the set or the least individual greater than all members of the set.