preorde
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 · Nederlands
In de ordetheorie, een onderdeel van de wiskunde, is een preorde of quasi-orde, een relatie tussen de elementen van een verzameling die veel lijkt op een orderelatie, maar waarin elementen kunnen voorkomen die niet met elkaar vergeleken kunnen worden en elementen die van elkaar verschillen en in beide richtingen met elkaar te vergelijken zijn, wat wil zeggen dat ze op dezelfde plaats in de ordening staan. Wat de orde betreft zijn deze laatste gelijkwaardig of equivalent. De relatie is te omschrijven als 'kleiner of equivalent' in plaats van 'kleiner of gelijk'. Preordes in het algemeen en preordes die geen partiële ordes zijn, worden vaak aangeduid met het symbool . Een preorde ontstaat bijvoorbeeld als een groep mensen ingedeeld wordt naar de leeftijd, in jaren. Er zullen mensen zijn die even oud zijn en van wie dus niet uitgemaakt kan worden wie eerder of later in de rangschikking komt. De relatie is in dit geval: 'jonger of even oud'.
Abstract from DBpedia / Wikipedia · CC BY-SA