ド・モルガンの法則
"Comments": This is the category that results by replacing each lattice of open sets in a topological space by its order-theoretic dual of closed sets, the lattice of complements of open sets. The relation between the two definitions is given by De Morgan's laws.