La propiedad de un conjunto de ser finito se conserva bajo ciertas condiciones: