Functions as Relations

Tags

math

For a function \( f : A \rightarrow B \) there [see page 16, must] be a relation \( R \subseteq A \times B \) that satisfies \( \forall a \in A \exists ! b \in B ((a, b) \in R) \). We define this special function as \( f_R : A \rightarrow B \).