Se requiere que los dominios de G, G, y G, sean lo bastante amplios como para que las propiedades anteriores tengan sentido.