Claramente puede demostrase questa rellación verifica les propiedaes reflexiva, simétrica y transitiva depués ye una rellación dequivalencia al conxuntu cociente ℱ/R = {[A]/A ∈ ℱ} vamos llamar cardinales y a los cardinales finitos va llamáse-yos númberos naturales.Les operaciones de suma y productu de cardinales defínense comol cardinal de la unión y el productu cartesianu de los conxuntos representantes y verifica toles propiedaes por que (ℕ, +, ×) sía un semianillo conmutativu y unitariu.