Definition:Constant Mapping

From ProofWiki
Jump to: navigation, search

Definitions

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.


Sources