Talk:Aczel's anti-foundation axiom

Replace "unique" with "exactly one"
The current formulation "every accessible pointed directed graph corresponds to a unique set" to me seems to be ambiguous, and initially I thought it meant that the "function" from accessible pointed directed graphs to sets is injective. Unless someone objects, (or I forget..) I'll replace it with "every accessible pointed directed graph corresponds to exactly one set". — Preceding unsigned comment added by Susy 11 (talk • contribs) 09:05, 27 January 2022 (UTC)