La primera definición positiva de conjunto infinito fue dada por Georg Cantor y se basa en la siguiente observación: Si un conjunto "S" es finito y "T" es un subconjunto propio, no es posible construir una biyección entre "S" y "T".