Functions
A functionfunction fAB is a left-total, right-unique relation in AB
Real Numbers
We denote the set of real numbersrealnumbers we all know and love with .
The absolute value r of a real number r.