Set Theory - Functions
Definition
A
relation
{% f %} is a function iff
{% \forall x \in dom(f) \; \exists! y \in ran(f) \; s.t. (x,y) \in f %}