Por otra parte, como un hecho más general que la igualdad, un conjunto formula_9 es "subconjunto" de otro formula_20, lo que se representa por