Assertion: isomorphism | /r/HasProperty | a one-to-one mapping
Facets:
value: from the set $a$
type: OTHER
value: onto the set $a'$
type: LOCATION
value: with the properties
type: OTHER
Source sentences:
text: An isomorphism, or isomorphic mapping, from $A$ onto $A'$ is a one-to-one mapping $\phi$ from the set $A$ onto the set $A'$ with the properties $$\def\a{\alpha} \phi(F_i(\a_1,\dots,\a_{n_i}))