Set Theory - Functions

Definition


A relation f is a functon iff
{% \forall x \in dom(f) \exists! y \in ran(f) s.t. (x,y) \in f %}

Contents