Türkçe: galois bağlantısı
Açıklama: Galois bağlantısı; iki sıralı küme arasındaki antitone eşleme çifti