Galois connection, Abstract operations