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 |