Assertion: possible output value | /r/CapableOf | agree on whole domain
Facets:
Source sentences:
text: Two functions f and g are equal if their domain and codomain sets are the same and their output values agree on the whole domain.