Mapping/Examples/Birthday of Person

From ProofWiki
Jump to navigation Jump to search

Example of Mapping

Let $P$ be the set of all people.

Let $S$ be the set of all dates in the calendar.

Let $\chi: P \to S$ be the mapping defined as:

$\forall x \in P: \map \chi x = \text { the birthday of $x$}$


Sources