Functions

( × ) ( arg:1 : arg:2 arg:3 ) ( arg:1 arg:2 )

A functionfunction fAB is a left-total, right-unique relation in AB

Real Numbers

R ( | arg:1 | ) arg:1 arg:2

We denote the set of real numbersrealnumbers we all know and love with .

The absolute value r of a real number r.