En teoría de conjuntos, las dos definiciones presentadas para conjunto infinito (y complementariamente para conjunto finito) son rigurosas.