Assertion: function's codomain | /r/HasProperty | a consequence of the function
Facets:
Source sentences:
text: Function composition therefore is a useful notion only when the codomain of the function on the right side of a composition (not its image, which is a consequence of the function and could be unknown at the level of the composition) is a subset of the domain of the function on the left side.