Description: The vector sum operation for the constructed full vector space H. (Contributed by NM, 26-Oct-2013)