Mängdalgebra

Från Wikipedia
En mängd med polygoner (Eulerdiagram).
En mängd med polygoner (Eulerdiagram).

Mängdalgebra definierar egenskaper och lagar hos mängder, operationer union, snitt och komplement. Det tillhandahåller också systematiska förfaranden för utvärdering av uttryck och beräkningar som involverar dessa operationer och relationer.

De grundläggande lagarna[redigera | redigera wikitext]

De binära operationerna snitt ( ) och snitt () tillfredsställa många identiteter. Flera av dessa identiteter eller "lagar" har väletablerade namn.

Kommutativitet:

Associativitet:

Distributivitet :

Referenser[redigera | redigera wikitext]