定義
X と Y を前順序集合(過去スレ008の139)とし、
f：X → Y と g：Y → X を単調減少写像(>>569)とする。
(f, g) がGalois対(>>605)のとき、
f と g は互いに対極であると言い、g を f の対極、f を g の対極と言う。