Assertion: real number's value | /r/CapableOf | form subgroup
Facets:
value: alternatively
type: DEGREE
Source sentences:
text: Alternatively, the almost homomorphisms taking only finitely many values form a subgroup, and the underlying additive group of the real number is the quotient group.