Assertion: function's codomain | /r/HasProperty | the domain of the second one
Facets:
Source sentences:
text: f} is an operation on functions that is defined only if the codomain of the first function is the domain of the second one.