Versie van 27 mrt 2022 09:11 bewerken Patrick (overleg \| bijdragen) uitgebreid bevestigde gebruikers 86.337 bewerkingen Geen bewerkingssamenvatting ← Oudere bewerking		Versie van 9 apr 2022 21:38 bewerken ongedaan maken Patrick (overleg \| bijdragen) uitgebreid bevestigde gebruikers 86.337 bewerkingen term "vergelijkbaar" is niet gedefinieerd en zo te zien onnodig (in en:Glossary_of_order_theory#C wordt 'comparable' ook alleen maar voor een poset gedefinieerd) Nieuwere bewerking →
Regel 3: Een partiële orde is een antisymmetrische preorde en een equivalentierelatie is een symmetrische preorde. Een totale orde is een antisymmetrische totale preorde. Een preorde <math>\lesssim</math> heeft een ruimere betekenis dan [[partiële orde]]. In een preorde is het mogelijk dat voor twee ~~elementen in beide richtingen vergelijkbaar zijn. Er kunnen dus~~ verschillende elementen <math>x</math> en <math>y</math> ~~in een verzameling <math>X</math> zijn, waarvoor~~ geldt dat zowel <math>x \lesssim y</math> als <math>y \lesssim x</math>. Daarmee wordt een [[equivalentierelatie]] <math>\sim</math> gedefinieerd door :<math>x\sim y</math> als <math>x \lesssim y</math> en <math>y \lesssim x</math>

Preorde: verschil tussen versies