La propiedad 2 la podemos interpretar como que cualquier subconjunto de un conjunto independiente es también independiente.