Petunjuk E.17.1.

Supremum tidak lebih besar daripada batas atas mana pun bagi himpunan yang sama.
in-context