A O número de elementos de um conjunto finito é o mesmo seja qual for a contagem que se adote.
B Todo subconjuntoYde um conjunto finitoXtambém é um conjunto finito com cardinalidade igual ou inferior a este.
C SeXeYsão conjuntos finitos quaisquer, entãoX∩Yé finito e tem-se quen(X∪Y) =n(X) +n(Y) −n(X∩Y).
D SejamX, Yconjuntos finitos. Sen(X) >n(Y), nenhuma funçãoƒ:X→Yé injetiva e nenhuma funçãog:Y→Xé sobrejetiva.
E SeXeYsão finitos quaisquer, então se temn(X - Y) = n(X) −n(Y).