Additive group of real numbers

From Groupprops