jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed typo.
All checks were successful
Compile Project / Compile (push) Successful in 36s
Details

Browse Source
This commit is contained in:
Bokuan Li
2026-06-27 22:41:48 -04:00
parent d8f56ef537
commit 55bd2e4859
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/topology/main/preimage.tex
View File

@@ -35,7 +35,7 @@
\begin{enumerate}[label=(PF\arabic*)] \begin{enumerate}[label=(PF\arabic*)]
\item $P(\emptyset) = \emptyset$. \item $P(\emptyset) = \emptyset$.
\item[(PF2')] For each $\mathcal{U} \subset \mathcal{B}$ and $V \in \mathcal{B}$ with $V \subset \bigcup_{U \in \mathcal{U}}U$, $p(V) \subset \bigcup_{U \in \mathcal{U}}p(U)$. \item[(PF2')] For each $\mathcal{U} \subset \mathcal{B}$ and $V \in \mathcal{B}$ with $V \subset \bigcup_{U \in \mathcal{U}}U$, $p(V) \subset \bigcup_{U \in \mathcal{U}}p(U)$.
\item[(PF3')] For each $U, V \subset \mathcal{B}$, $p(U) \cap p(V) \subset \bigcup_{W \in \mathcal{B}, W \subset U \cap V}p(W)$. \item[(PF3')] For each $U, V \in \mathcal{B}$, $p(U) \cap p(V) \subset \bigcup_{W \in \mathcal{B}, W \subset U \cap V}p(W)$.
\end{enumerate} \end{enumerate}
\end{definition} \end{definition}