An ordered pair of two real numbers with the complex addition and multiplication defined.
Forms both a:
- division algebra if thought of with complex multiplication as the bilinear map of the algebra
- field
Set of ordered pairs. That's it! This is illustrated at: math.stackexchange.com/questions/1480651/is-fx-x-1-x-2-a-function/1481099#1481099