предпорядок
Sign in to savethumb|x R y defined by xinteger division|//4≤y//4 is a preorder on the [[natural numbers. It corresponds to the equivalence relation x E y defined by x//4=y//4. The set of equivalence classes is partially ordered, and thus can be shown as a Hasse diagram (depicted).]]
Wikidata facts
- Subclass of
- transitive relation
Show 2 more facts
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- order theory
Sources (3)
via Wikidata · CC0
Article · Русский
Предпоря́док (квазипоря́док) — бинарное отношение на множестве, обладающее свойствами рефлексивности и транзитивности. Обычно это отношение обозначается , тогда аксиомы предпорядка на множестве принимают вид: ,. Линейный предпорядок — предпорядок на множестве, для которого любые два элемента множества сравнимы: .
Abstract from DBpedia / Wikipedia · CC BY-SA