Assertion: function | /r/CapableOf | express arithmetical property of n
Facets:
Source sentences:
text: Hardy & Wright include in their definition the requirement that an arithmetical function "expresses some arithmetical property of n".