si formula_20 tiene por lo menos un elemento más que formula_9) se dice que formula_9 es subconjunto "propio" de formula_20, lo cual se representa por