For closure under addition, I would suggest
-------------------------
Let a<1,3,2>, b<1,3,2> \in R3,
a<1,3,2> + b<1,3,2> = <a1+b1, a3+b3, a2+b2>
<a1+b1, a3+b3, a2+b2> \in R3
Closure under addition holds.
---------------------------
I don't know how strict your...