+ \colon \textrm{V} \times \textrm{V} \to \textrm{V}