**Definition 0.0.1 **  The **four vector dot product** for two four vectors $A,B\in\mathbb{R}^{1,3}$ is defined in terms of a metric tensor $\eta$.
\[A\cdot B = A^\top\eta B\]