preorden
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 · Español
En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados. El nombre cuasiorden es también una expresión común para preórdenes. Muchas definiciones teóricas para los conjuntos parcialmente ordenados se pueden generalizar a preórdenes, pero el esfuerzo adicional de generalización raramente se necesita. Con todo hay campos de uso, tales como la definición de la convergencia vía redes en topología, donde los preórdenes no se pueden substituir por conjuntos parcialmente ordenados sin perder propiedades importantes.
Abstract from DBpedia / Wikipedia · CC BY-SA