Mathematics, Discrete Mathematics, Programming.
condition exists that defines the relation. Now that we have all this information we can formally define a function as the following: A function from set X to set Y is a binary relation f from X to Y if for every x that belongs in the set of X, there is ONLY ONE y in the set of Y such that (x, y)