Template:Galois correspondence by binary relation

This article defines a Galois correspondence induced by a binary relation, the binary relation here being: