Dedekind cut
If the ordered set "S" is complete, then, for every Dedekind cut ("A", "B") of "S", the set "B" must have a minimal element "b",