🌐EnglishEnglishDeutschEspañolFrançaisPortuguêsРусский한국어中文日本語EntityQ1491747· pop 12· linked from 70 articlesGalois connectionpair of adjoint functors between two preordered sets seen as categoriesConnectionsadjoint functorEntitysubsetEntityCategoriesAbstract interpretationClosure operatorsGalois theoryOrder theory