Every Galois connection is the polarity of an antitone relation

From MaRDI portal
Publication:796555