Read · 1 min
There's one missing piece of structure in our ordered pair definition of points.
It boils down to this: What's the relation between the - and -axes?
We call this fundamental relation orthogonality (or perpendicularity). The - and -axes are orthogonal to each other!
A fundamental transformation related to orthogonality is the reflection. The reflection over the -axis takes to , negating the -coordinate. Similarly, the reflection over the -axis takes to .