La imagen de formula_21 es un subconjunto de formula_8, y por tanto formula_23 es un vector que podemos representar como