Let $f : X \to Y$ be a D18: Map.
The constancy relation on $X$ with respect to $f$ is the D4: Binary relation
\begin{equation}
\{ (x, y) \in X \times X : f(x) = f(y) \}
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Binary cartesian set product |
▼ | Binary relation |
▼ | Binary endorelation |