Número cardinal: diferenças entre revisões

Um cardinal <math style="vertical-align:-0%;">\alpha^{\,}</math> que é o sucessor de um outro cardinal <math style="vertical-align:-20%;">\beta^{\,},</math> ou seja <math style="vertical-align:-20%;">\alpha = \beta^{+\!}</math> é dito ''cardinal sucessor''. Nesse caso, <math style="vertical-align:-20%;">\beta^{\,}</math> é dito o ''antecessor'' de <math style="vertical-align:-0%;">\alpha^{\,}.</math> Por exemplo, o número 3 é um cardinal sucessor, pois 3 é o sucessor de 2 (e 2 o antecessor de 3). Por outro lado, o cardinal 0 não é sucessor, poipois não tem antecessor.<ref>[[#levy2002basicsettheory|Levy [2002] ]], p. 89−90.</ref>