Assertion: surjective function | /r/CapableOf | induce bijection
Facets:
value: by collapsing all arguments
type: MANNER
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.