También se dice que formula_1 es subconjunto de formula_10, en símbolos formula_17, si todo elemento de formula_1 es elemento de formula_10.