De Morgan's laws
これは位相空間の開集合の成す束を、その順序論的双対である閉集合の束に取り替えて得られる圏である。開集合による定義とはド・モルガンの法則で結ばれている。