Assertion: function | /r/HasProperty | a model of such a predicate
Facets:
Source sentences:
text: In formal logic, the term map is sometimes used for a functional predicate, whereas a function is a model of such a predicate in set theory.