definicija |
klasa ekvivalencije dobro uređenih skupova prema kojoj dva skupa imaju iste redne tipove ako postoji uređena bijekcija među njima |
istovrijednice |
engleski: order type |
napomena |
Uređeni skupovi $(A,\leq_1)$ i $(B,\leq_2)$ imaju iste redne tipove ako postoji uređena bijekcija $f:A\rightarrow B$. |
razredba |
polje: matematika |
vrela |
