Talk:Aczel's anti-foundation axiom
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Replace "unique" with "exactly one"
[edit]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)