Assertion: abelian group's element | /r/HasProperty | range
Facets:
Source sentences:
text: Any element ∈ :=range( − ) has a distance larger than or equal to 1 from (otherwise would be positive and bounded away from zero, whence could not be bounded).