Obviamente, el conjunto de todos los números es infinitamente grande; sin embargo, no es necesario que un conjunto sea precisamente finito para que pueda definirse con precisión.