Open-set frame
= Open-set frame
{title2=$O(X)$}
The <open subsets> of a <topological space> form a <frame>. Arbitrary joins are unions, finite meets are intersections, and an arbitrary meet is the interior of an intersection. A <continuous map> induces a <frame homomorphism> in the opposite direction by inverse image.