Assertion: graph's loop | /r/HasProperty | recursive
Facets:
value: infinitely
type: DEGREE
Source sentences:
text: As this loop is infinitely recursive, sets that are the edges violate the axiom of foundation.