Assertion: function | /r/HasProperty | f-relative set of a f(a
Facets:
Source sentences:
text: An equivalent definition: A function (f) is a relation from a set A to a set B (denoted f: A®B), such that for each element in the domain of A (Dom(A)), the f-relative set of A (f(A)) contains exactly one element.