for S being non empty 1-sorted
for v being Element of S holds vector (S,v) = v by Def1, RLVECT_1:1;