Definition:Constant Mapping

From ProofWiki
Jump to: navigation, search


A constant mapping or constant function is a mapping $f_c: S \to T$ defined as:

$c \in T: f_c: S \to T: \forall x \in S: f_c \left({x}\right) = c$

That is, every element of $S$ is mapped to the same element $c$ in $T$.

In a certain sense, a constant mapping can be considered as a mapping which takes no arguments.

Also see

  • Results about constant mappings can be found here.