Proszę o szybką pomoc X: Niech r będzie relacją określoną w zbiorze wszystkich podzbiorów zbioru liczb naturalnych, taką że A r B wttw A jest podzbiorem B. Wówczas r jest relacją porządku dobrego.

wredulus_pospolitus: I jakiej 'szybkiej' pomocy od nas oczekujesz

Adamm: Co to jest dobry porządek?

Adamm: Huh. Z angielskiego well−order. Nie wiedziałem że to się tak dziwnie tłumaczy. Ten porządek nie jest liniowy, bo {1, 2} oraz {1, 3} nie można w nim porównać. W szczególności nie jest dobrym porządkiem.