Un más elaborado tipo de función es la, así llamada, conexión de Galois.