Preorde: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Madyno (overleg | bijdragen)
Geen bewerkingssamenvatting
Madyno (overleg | bijdragen)
Regel 45:
Het is uiteraard wel mogelijk om (de inverse van) het complement van een preorde te nemen. Bij een totale preorde levert dit een [[strikte zwakke orde]] op.
 
; ==Voorbeelden:==
* DeOp de knopen in een [[Grafentheorie#Gerichte grafen|gerichte graaf]] vormenwordt een verzamelingpreorde met een preorde,gedefinieerd door tede stellen dat voor twee knopenrelatie <math>A \lesssim B</math> entussen de knopen <math>BA</math> de relatieen <math>A \lesssim B</math> in de graaf bestaat, als er een gericht pad van <math>A</math> naar <math>B</math> bestaat.
* Een [[Afbeelding (wiskunde)|afbeelding]] <math>f</math> van een verzameling <math>V</math> in een partieel geordende verzameling <math>W</math> induceert een preorde met de relatie <math>x \lesssim y</math> als <math>f(x) \le f(y) </math>.
 
== Zwakke orde ==