Assertion: function's argument | /r/CapableOf | map to given fixed image
Facets:
Source sentences:
text: Any surjective function induces a bijection defined on a quotient of its domain by collapsing all arguments mapping to a given fixed image.