polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
klasa ekvivalencije dobro uređenih skupova prema kojoj dva skupa imaju iste redne tipove ako postoji uređena bijekcija među njima
Uređeni skupovi $(A,\leq_1)$ i $(B,\leq_2)$ imaju iste redne tipove ako postoji uređena bijekcija $f:A\rightarrow B$.