Tralie (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
|||
Regel 5:
Het hasse-diagram van een eindige tralie bestaat uit een graaf met één [[Grafentheorie#Componenten en samenhangende grafen|component]], omdat ieder paar elementen zowel een supremum als een infimum heeft. Twee elementen uit verschillende componenten van een graaf hebben geen gezamenlijk supremum of infimum.
Naast de definitie van een tralie als een bijzondere partieel geordende verzameling, is er een equivalente definitie als speciale [[algebraïsche structuur]] met twee [[Binaire operatie|binaire bewerkingen]] die een partiële orde induceren. De algebraïsche structuur is op de partieel geordende verzameling gebaseerd.
== Geschiedenis ==
Regel 87:
en als <math>y = x \lor y</math>, dan is <math>x \land y = x \land (x \lor y) = x</math>, dus <math>x \le y</math>.
Inderdaad is <math>\le</math> een
:<math>x \le x</math>, want <math>x \land x = x</math>
| |||