Un cardinal es un ordinal que cumple que: