Sıral sayı

Sıral sayılar, soyut matematikte, tümevarımsal kümelerin bir genellemesi olarak George Contor tarafından verilmiştir.

Sıral sayıların tümevarımda nasıl kullanıldığını anlatan bir görsel

Tanım

Principia Mathematica tanımı

Bir sıral sayı burada denklik sınıflarıyla tanımlanır. Bir sıral sayı, iyi sıralı kümelerin sıral-denklik sınıflarının her birine denir.

Von Neumann tanımı

Bir S kümesi ancak, bu S kümesi tam sıralı ise ve her öğesi aynı zamanda kümenin altkümesi ise sıral sayıdır.