Esta definição é análoga à definição de conjunto, na teoria dos conjuntos com o axioma da regularidade:
ˈɛʃtɐ dˌɨfinisˈɐ̃ʊ̃ ɛ ɐnˈɑluɡ ˌaː dˌɨfinisˈɐ̃ʊ̃ dɨ kˌuŋʒˈũŋtʊ, nɐ tˈiuɾˈiɐ dʊʃ kˌuŋʒˈũŋtʊʃ kˈom u ˌɐksiˈomɐ dɐ ʁˌeɡulˌɐɾidˈadɨ: