1
$\begingroup$

I meet with term 'empty function' from time to time. It's high time to understand its nature. What is field( set of arguments) and what is image? ( set of value)?

$\endgroup$
  • 1
    $\begingroup$ Do you know the definition of function? $\endgroup$ – Git Gud Oct 20 '14 at 16:20
1
$\begingroup$

The set theoretic definition of a function $f:A\rightarrow B$ is a special type of binary relation. I.e. it is a subset of $A \times B$. The empty set is also a subset of $A \times B$ and is defined as the empty function.

$\endgroup$
  • 2
    $\begingroup$ This correctly defines "empty relation", not empty function. A function needs to be defined, uniquely, on each element of the domain. $\endgroup$ – vadim123 Oct 20 '14 at 16:25
  • 1
    $\begingroup$ Yeah, specifically the empty relation is a function iff $A$ is empty. $\endgroup$ – Seth Oct 20 '14 at 16:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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