Overleg:Partiële orde

Persoonlijk geef ik de voorkeur aan "Partiële ordening" boven "Partiële orde". Ik zie echter op Google dat beide termen worden gebruikt, waarbij de Belgen zo te zien bijna altijd de voorkeur geven aan "Partiële orde", terwijl men in Nederlandse collegedictaten en dissertaties ook de naam "Partiële ordening" gebruikt. JRB 16 jan 2009 19:36 (CET)

Ik weet niet of dit verschil een kwestie van Vlaams vs. "Hollands" is. Ook in NL wordt de term "orde" vaak gebruikt. Zelf heb ik een voorkeur voor "orde", omdat ik het idee heb dat dit algemener gebruikt wordt. Mocht de communis opinio echter anders zijn, dan vind ik echter dat die uiteraard gevolgd moet worden. 87.208.0.102 22 okt 2010 11:18 (CEST)

Het voorbeeld plaatje is noch reflexief, noch transitief, en dus geen partiële ordening. --Gerbenvv 29 jan 2010 14:16 (CET)

Klopt. Ik begrijp de bedoeling van de auteur wel: het plaatje is cykelvrij, dus zijn transitief-reflexieve sluiting is een orde. Maar in de context van een definitie is het verwarrend.--Lieven Smits 30 jan 2010 00:08 (CET)

Inderdaad. Zie ook het onderschrift bij hetzelfde plaatje in het artikel Tweeplaatsige relatie. Mij lijkt de reflexief-transitieve afsluiting juist duidelijker (minder lijntjes, waardoor de essentie beter naar voren komt), hoewel een onderschrift inderdaad geen kwaad zou kunnen. 87.208.0.102 22 okt 2010 11:18 (CEST)

p.s. Ik bedoel uiteraard de (in het plaatje gebruikte) "reflexief-transitieve reductie" i.p.v. "afsluiting". Excuses voor de eventuele verwarring. 129.125.58.161 25 okt 2010 13:51 (CEST)

Begrippen

De sectie:

Er is een een-op-een-correspondentie tussen alle partiële ordes op een verzameling X en alle strikte partiële ordes op dezelfde verzameling X, die verkregen wordt door iedere partiële orde af te beelden op zijn reflexieve reductie. Van iedere partiële orde op X is zijn reflexieve reductie namelijk een strikte partiële orde op X. Verder is het zo dat de inverse van deze een-op-een-correspondentie strikte partiële ordes afbeeldt op hun reflexieve afsluiting.[1] De reflexieve afsluiting van een strikte partiële orde op X is een partiële orde op X. Merk op dat de inverse van het complement van een partiële orde ≤ de reflexieve reductie van ≤ is en dat de inverse van het complement van een strikte partiële orde < de reflexieve afsluiting van < is.

staat vol met ongedefinieerde termen. Madyno (overleg) 2 jun 2014 10:56 (CEST)

Ik heb wat links toegevoegd. - Patrick (overleg) 2 jun 2014 13:23 (CEST)