A (standard, real-valued) Brownian motion $W = {W(t): t>=0}$ is commonly defined by the
following properties: 1) $W(0) = 0$ a.s., 2) the process has independent increments,
3) for all $s,t>=0$ with $s<t$, the increment $W(t) – W(s)$ is normally distributed