Beantwortet: Mini-frage Untervektorraum

Seien x,y ∈ℝ  beliebig, dann gilt:

 (x₁,y₁) +(x₂,y₂)=^Vor. (0,y₁) +(0,y₂)= ( (0+0),(y₁+y₂) ) ∈ ℝ²

Wie wäre es formal korrekt?

Noch schöner vielleicht:
Seien a und b aus U, also
a= (0,y₁)  und b = (0,y₂) 
dann ist a+b = ( 0,(y₁+y₂) )also auch aus U.