Spahn
Galois connection

References