Proper Euclidean motion of Euclidean three-space ($\mathrm{SE}(3)$)

A proper Euclidean motion has the form $E(x)=Ax+b$ with $A\in SO(3)$. It preserves lengths, dot products, cross products, orientation, curvature, and torsion.