Un par de funtores adjuntos entre dos conjuntos parcialmente ordenados se llama una conexión de Galois (o, si es contravariante, una conexión de Galois antítona).