Assertion: set | /r/HasAspect | function
Facets:
value: to the empty set
type: OTHER
Source sentences:
text: In fact, it is a strict initial object: only the empty set has a function to the empty set.