(単調)ガロア接続における下随伴と上随伴 "l" および "g" は互いに準逆元である。