Assertion: transformation | /r/HasProperty | invertible function
Facets:
value: to itself
type: TRANSITIVE-OBJECT
value: from a set x
type: OTHER
Source sentences:
text: A transformation can be an invertible function from a set X to itself, or from X to another set Y.