Assertion: function | /r/HasProperty | defined on finite set
Facets:
Source sentences:
text: On a finite set, a function may be defined by listing the elements of the codomain that are associated to the elements of the domain.