is the set of all tuples of length of elements of : for and , we say that is the kth coordinate of .
addition in is defined by adding corresponding coordinates:
(refer to Jay Cummings, 2019 chapter 1 the reals definition 1.5)