What is "empty function"

n. (context mathematics English) A function whose domain is the empty set.

In mathematics, an empty function is a function whose domain is the empty set . For each set , there is exactly one such empty function

$$f_A : \varnothing \rightarrow A.$$

The graph of an empty function is a subset of the Cartesian product . Since the product is empty the only such subset is the empty set . The empty subset is a valid graph since for every in the domain there is a unique in the codomain such that . This statement is an example of a vacuous truth since "there is no in the domain."

The existence of an empty function from to is required to make the category of sets a category, because in a category, each object needs to have an " identity morphism", and only the empty function is the identity on the object . The existence of a unique empty function from into each set means that the empty set is an initial object in the category of sets. In terms of cardinal arithmetic, it means that for every cardinal number —particularly profound when to illustrate the strong statement of indices pertaining to .

When defining the term " constant function" precisely, most authors will not care whether or not the empty function qualifies, and will use whatever definition is most convenient. Sometimes, however, it is best not to consider the empty function to be constant, and a definition that makes reference to the range is preferable in those situations. This is much along the same lines as not considering to be a prime number ( is now considered the empty product), an empty topological space to be connected, or the trivial group to be simple.