ABSTRACT
The next theorem is our "Main Theorem for Conjugate Pairs of Closure Operators." It shows that when we consider sets which are closed under the original Galois-connection from R, there are four equivalent conditions for such sets to also be closed under the new connection from R7.
