Vector addition and properties