Assertion: abelian group's element | /r/CapableOf | form submonoid
Facets:
Source sentences:
text: The right- and left-cancellative elements of a monoid each in turn form a submonoid (i.e. obviously include the identity and not so obviously are closed under the operation).