Uma implicação dessas definições é que um conjunto menor pode ter a mesma cardinalidade deum conjunto maior.

Considera-se em particular como isomorfas, como possuindo a mesma cardinalidade, conjuntos para os quais não se pode construir efetivamente nenhuma correspondência biunívoca mútua.