Assertion: function's codomain | /r/HasProperty | equal
Facets:
value: to the domain of f
type: OTHER
Source sentences:
text: If f and g are both surjective, and the codomain of g is equal to the domain of f, then f