Axyomat
Funkcja 1/x jest malejąca na przedziale [1;+niesk). Zatem dla x=1 przyjmie wartość największą. W dodatku jest iniekcją, zatem przyjmie tylko dla jednego argumentu wartość największą. Zatem w A istnieje element największy.
Funkcja 1/x jest malejąca na przedziale (-niesk. -1]. Zatem element największy nie istnieje - funkcja zbliża się lewostronnie do 0, ale nigdy go nie osiąga. Zatem w A nie istnieje element największy.
Funkcja 1/x jest malejąca na przedziale (-niesk. -1]. Zatem element największy nie istnieje - funkcja zbliża się lewostronnie do 0, ale nigdy go nie osiąga. Zatem w A nie istnieje element największy.