Assertion: isomorphism | /r/HasProperty | invertible function
Facets:
value: to h
type: TRANSITIVE-OBJECT
value: from g
type: OTHER
Source sentences:
text: I presume you know that an isomorphism between groups G and H is an invertible function from G to H that "preserves the operation".