Let $x$ be a D11: Set.
The intersection of $x$ is the D11: Set
\begin{equation}
\cap x : = \{ z \mid \forall \, y \in x : z \in y \}
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Collection of sets |