Tralie (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 69:
De beide definities van een tralie zijn equivalent in de zin dat in een tralie als partieel geordende verzameling het supremum en het infimum twee binaire bewerkingen zijn die voldoen aan de daaraan gestelde eisen voor een tralie als algebraïsche structuur, en omgekeerd de binaire bewerkingen in een tralie als algebraïsche structuur een partiële orde induceren met de verlangde eigenschap.
Stel dat de partieel geordende verzameling <math>(L, \le)</math> een tralie is. Voor het supremum <math>\lor</math> en het infimum <math>\land</math> als binaire bewerkingen geldt trivialerwijze de
:<math>x \lor (y\lor z) = \sup\{x,y\lor z\} = \sup\{x,y,z\} = (x \lor y)\lor z</math>
| |||