Besonderhede van voorbeeld: -8313618295547473683

English

Given two ordinals S and T, S is an element of T if and only if S is a proper subset of T. Moreover, either S is an element of T, or T is an element of S, or they are equal.

Finnish

Jokaisen ordinaalin kaikki alkiotkin ovat ordinaaleja. Jos S ja T ovat kaksi ordinaalia, S on T:n alkio, jos ja vain jos S on T:n aito osajoukko.