位相の特徴付け
任意の閉集合の逆像がやはり閉集合となるような写像すべて。
これは位相空間の開集合の成す束を、その順序論的双対である閉集合の束に取り替えて得られる圏である。開集合による定義とはド・モルガンの法則で結ばれている。