Assertion: graph's set | /r/HasProperty | the functor
Facets:
Source sentences:
text: → Set is the functor taking a set s to s × s.