test/examples/finite-set-terms.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

\begin{signature}\label{example_cons}
    $\cons{y}{X}$ is a set.
\end{signature}

\begin{axiom}\label{cons}
    $x\in \cons{y}{X}$ iff $x = y$ or $x\in X$.
\end{axiom}

\begin{definition}\label{unit}
    $\unit = \{\emptyset\}$.
\end{definition}

\begin{proposition}\label{emptyset_in_unit}
    $\emptyset\in\unit$.
\end{proposition}