Galois connection
The literature contains two closely related notions of "Galois connection". In this article, we will distinguish between the two by referring to the first as (monotone) Galois connection and to the second as antitone Galois connection.