diff options
Diffstat (limited to 'test/examples/union.tex')
| -rw-r--r-- | test/examples/union.tex | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/examples/union.tex b/test/examples/union.tex index b5c5783..cae5935 100644 --- a/test/examples/union.tex +++ b/test/examples/union.tex @@ -1,3 +1,7 @@ +\begin{signature}\label{example_union} + $A\union B$ is a set. +\end{signature} + \begin{axiom}[Extensionality]\label{ext} Suppose for all $a$ we have $a\in A$ iff $a\in B$. Then $A = B$. |