Assertion: abelian group's property | /r/CapableOf | carry over in significant fashion
Facets:
Source sentences:
text: Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion.