![L'intervalle ]0, 1[ a-t-il un plus grand élément ?](https://curium.ctopass.com/og/c/borne-superieure.png)
Borne supérieure
Non. Quel que soit le nombre choisi dedans, 0,9 ou 0,999, il en existe un plus grand encore dans l'intervalle, puisque 1 en est exclu. Pourtant 1 borne l'ensemble : c'est le plus petit de ses majorants, sa borne supérieure. Une borne supérieure existe donc sans appartenir à l'ensemble, et 0 joue le même rôle de borne inférieure.
Non. Quel que soit le nombre choisi dedans, 0,9 ou 0,999, il en existe un plus grand encore dans l'intervalle, puisque 1 en est exclu. Pourtant 1 borne l'ensemble : c'est le plus petit de ses majorants, sa borne supérieure. Une borne supérieure existe donc sans appartenir à l'ensemble, et 0 joue le même rôle de borne inférieure.
Un nombre qui n'est pas rationnel. Dans R, cet ensemble admet √2 comme borne supérieure et −√2 comme borne inférieure. Dans Q, il est majoré, par 2 par exemple, mais aucun rationnel n'est le plus petit de ses majorants. Q n'a pas la propriété de la borne supérieure ; R l'a, et c'est ce qui sépare les deux.
−∞. Sur R ∪ {−∞, +∞}, tout élément majore l'ensemble vide, faute d'élément à dépasser, et le plus petit de ces majorants est −∞. Par le même raisonnement, sa borne inférieure est +∞. Dans R, le vide n'a ni l'une ni l'autre. La droite achevée est un treillis complet : chacune de ses parties, vide comprise, possède un sup et un inf, ce qui n'est pas le cas de R.