Questions tagged [frame-theory]
28 questions
0
votes
0 answers
In a frame, the closure of the intersection contains the closure of one sublocale intersect the other open sublocale
I want to prove that $\overline{W \cap S} \supseteq \overline{W} \cap S$ in a frame $L$, where $S$ is a open sublocale of the frame.
My attempt;
Let $y \in \overline{W} \cap S \Longrightarrow y \in {\uparrow} \bigwedge W \cap S \Longrightarrow y…
user970843
- 1
- 3