Una subcolección de elementos formula_4 de un conjunto dado formula_2 es un subconjunto de formula_2, y se indica como formula_7(formula_4 está incluido en formula_2).