(Q4779193)

English

apartness relation

form of inequality in constructive mathematics

In more languages

default for all languages

No label defined

No description defined

Statements

symmetric relation

0 references

0 references

irreflexive relation

0 references

0 references

Identifiers

0 references

Microsoft Academic ID

0 references

apartness relation

0 references

Sitelinks

Wikipedia(2 entries)

dewiki Negative Transitivität
enwiki Apartness relation

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=Q4779193&oldid=2218239560"