Tralie (wiskunde): verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 70:
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 commuyativiteit. Verder is:
:<math>x \lor (y\lor z) = \sup\{x,y\lor z\} = \sup\{x,y,z\} = (x \lor
en
:<math>x \land (y\land z) = \inf\{x,y\land z\} = \inf\{x,y,z\} = (x \land
Ook gelden de absorpte-eigenschappen:
|