# Anti-motion

A transformation of a pseudo-Euclidean space which converts points at a real distance $a$ from each other into points at a purely-imaginary distance $a$. The motions and anti-motions of a pseudo-Euclidean space together form a group.