La siguiente definición mejora el enfoque de Cantor y fue propuesto inicialmente por John von Neumann: