Dot : We define a notion of multiplication on two vectors, check some algebraic properties, and note how it can be used to define a notion of length. Dot / We define a notion of multiplication on two vectors, check some algebraic properties, and note how it can be used to define a notion of length.