Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

What function $f$ maps in the following way: $$f:\emptyset\longrightarrow \{0\}$$

share|cite|improve this question
Does the cardinality of the domain count as a function? – Ataraxia Jul 31 '13 at 18:28
up vote 10 down vote accepted

There is exactly one such function, which is the empty set.


By definition, functions $f : A \to B$ are certain subsets of the cartesian product $A\times B$ (for the defining property, see below). You can imagine this definition as identiying $f$ with its graph. In your case, $A = \emptyset$, $B = X$ and $A \times B = \emptyset \times X = \emptyset$, whose only subset is the empty set.

The defining property is that for every $a\in A$ there is a unique element of $f$ having $a$ as its first component. In our case $f = \emptyset$, this condition is vacuously true.

share|cite|improve this answer

The only subset of the cartesian product $\,\emptyset\times X\;,\;\;X$ any set, is the only function $\,\emptyset\to X\,$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.