The following binary relations are not functions:
Every argument must be mapped to at most one result.