función biyectiva que establece la igualdad de cardinales.