Observe que el complemento directo "K" de "Q" no es determinado unívocamente por "Q", y la función "g" que extiende en la definición anterior no es única, típicamente.