Sea ℱ la clase de todos los conjuntos y definiremos una relación binaria "ser equipotente" de la siguiente manera: