Let $M = (X \times Y, f)$ be a D18: Map.
The graph of $M$ is the D11: Set
\begin{equation}
\{ (x, f(x)) : x \in X \}
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▼ | Map |
▶ | D3046: Map subgraph |
▶ | D3044: Map supergraph |