Mathematics-Online lexicon: Laws for Operations on Sets

	[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff]
	Mathematics-Online lexicon:
	Laws for Operations on Sets

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

overview

The following identities hold for operations on sets:

Assoziative Laws:

$\displaystyle (A\cap B)\cap C$ $\displaystyle =$ $\displaystyle A \cap (B \cap C)$

$\displaystyle (A\cup B)\cup C$ $\displaystyle =$ $\displaystyle A \cup (B \cup C)$
Kommutative Laws:

$\displaystyle A\cap B$ $\displaystyle =$ $\displaystyle B \cap A$

$\displaystyle A\cup B$ $\displaystyle =$ $\displaystyle B \cup A$
De Morgan's Laws:

$\displaystyle C\backslash(A\cap B)$ $\displaystyle =$ $\displaystyle (C\backslash A) \cup (C\backslash B)$

$\displaystyle C\backslash (A\cup B)$ $\displaystyle =$ $\displaystyle (C\backslash A) \cap (C\backslash B)$
Distributive Laws:

$\displaystyle (A\cap B)\cup C$ $\displaystyle =$ $\displaystyle (A\cup C) \cap (B\cup C)$

$\displaystyle (A\cup B)\cap C$ $\displaystyle =$ $\displaystyle (A\cap C) \cup (B\cap C)$

These laws correspond to the laws for logical operations, with $\cup,\cap$ being replaced by $\land,\lor$ and $C\backslash$ being replaced by $\lnot$ .

(Authors: Höllig/Hörner/Abele)

Example:

Implications of Laws for Operations on Sets

[Annotations] [Links]

automatically generated 6/11/2007

$\displaystyle (A\cap B)\cap C$	$\displaystyle =$	$\displaystyle A \cap (B \cap C)$
$\displaystyle (A\cup B)\cup C$	$\displaystyle =$	$\displaystyle A \cup (B \cup C)$

$\displaystyle A\cap B$	$\displaystyle =$	$\displaystyle B \cap A$
$\displaystyle A\cup B$	$\displaystyle =$	$\displaystyle B \cup A$

$\displaystyle C\backslash(A\cap B)$	$\displaystyle =$	$\displaystyle (C\backslash A) \cup (C\backslash B)$
$\displaystyle C\backslash (A\cup B)$	$\displaystyle =$	$\displaystyle (C\backslash A) \cap (C\backslash B)$

$\displaystyle (A\cap B)\cup C$	$\displaystyle =$	$\displaystyle (A\cup C) \cap (B\cup C)$
$\displaystyle (A\cup B)\cap C$	$\displaystyle =$	$\displaystyle (A\cap C) \cup (B\cap C)$