▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Operation
▾ N-operation
▾ Binary operation
▾ Basic binary operation
Unsigned basic binary operation
Formulation 0
A D554: Binary operation $f : X \times X \to Y$ is an unsigned basic binary operation on $X$ if and only if \begin{equation} Y \subseteq [0, \infty] \end{equation}
Subdefinitions
» D61: Semimetric