Problèmes

On étudie ici la notion de groupe ordonné (un groupe muni d’une relation d’ordre compatible avec une relation d’ordre). Ce n’est pas trop difficile mais attention à cette relation d’ordre, qui peut n’être que partielle. D’autre part, sup{a,b} et inf{a,b}, dont il est question dans la dernière partie, désignent respectivement le plus petit des majorants de a et b, et le plus grand des minorants de a,b (cette notion est hors-programme sauf dans R).