(Q54978404)

English

well-foundedness

property of binary endorelations

wellfoundedness
well-founded property
wellfounded property
property of wellfoundedness

In more languages

default for all languages

No label defined

No description defined

Statements

mathematical property

binary relation

0 references

defining formula

(\forall S\subseteq X)\;S\neq \emptyset \implies (\exists m\in S)\lnot (\exists s\in S)\;s{\mathcal {R}}m

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Sitelinks

Wikipedia(1 entry)

enwiki Well-foundedness

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q54978404&oldid=2238737833"