Dados dos conjuntos formula_1 y formula_2, diremos que formula_1 es un subconjunto de formula_2, o que formula_1 está incluido en formula_2 si todo elemento de formula_1 es un elemento de formula_2, es decir, si se cumple que formula_14 ("formula_15" se lee como "implica").