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

Thank you Henry

Browse Source
This commit is contained in:
Bokuan Li
2026-10-02 21:11:30 -04:00
parent cd1499704f
commit f859d7e592
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/measure/sets/elementary.tex
+1 -1
View File
@@ -7,7 +7,7 @@
\begin{enumerate} \begin{enumerate}
\item[(P1)] $\emptyset \in \ce$. \item[(P1)] $\emptyset \in \ce$.
\item[(P2)] For any $A, B \in \ce$, $A \cap B \in \ce$. \item[(P2)] For any $A, B \in \ce$, $A \cap B \in \ce$.
\item[(E)] For any $E, F \in \ce$ with $E \subset F$, there exists $\seqf{E_j} \subset \ce$ such that $E \setminus F = \bigsqcup_{j = 1}^n E_j$. \item[(E)] For any $E, F \in \ce$ with $E \subset F$, there exists $\seqf{E_j} \subset \ce$ such that $F \setminus E = \bigsqcup_{j = 1}^n E_j$.
\end{enumerate} \end{enumerate}
If $X \in \ce$, then (E) may be replaced with If $X \in \ce$, then (E) may be replaced with