sometimes, these properties are also used for "defining" the dot product, especially in 2 and 3 dimensions; this definition is equivalent to the above one. for higher dimensions, the formula can be used to define the concept of angle.