Galois and closure operators implemented in abstract