Lo expuesto anteriormente se puede resumir como sigue: para una conexión de Galois, la composición "f"formula_35"f" es monótona (siendo la composición de funciones monótonas), inflacionaria e idempotente.