Así, por definición de subconjunto, formula_13.