Assertion: defined function | /r/CapableOf | map every element of its domain
Facets:
value: to an element of its codomain
type: TRANSITIVE-OBJECT
Source sentences:
text: A well-defined function must map every element of its domain to an element of its codomain.