Set operation

$Operations on set$

Union : A \cap B := {x ∣ x \in A \land x \in B} Intersection : A \cup B := {x ∣ x \in A \lor x \in B} difference : A ∖ B := {x ∣ x \in A \land x \in / B} Cartesian product : A \times B := {(a, b) ∣ a \in A \land b \in B} complement : A^{c} := U \ A := {x ∣ x \in U \land x \in / A}

k = 1 ⋃ n A_{k} := A_{1} \cup A_{2} \cup ... \cup A_{n} = {x ∣\exists k \in {1, 2, ... n} (x \in A_{k})}

k = 1 ⋂ n A_{k} := A_{1} \cap A_{2} \cap ... \cap A_{n} = {x ∣\forall k \in {1, 2, ... n} (x \in A_{k})}

n = 1 ⋃ \infty A_{n} = A_{1} \cup A_{2} \cup ... := {x ∣\exists n \in N (x \in A_{n})}

n = 1 ⋂ \infty A_{n} := A_{1} \cap A_{2} \cap ... = {x ∣\forall n \in N (x \in A_{n})}

\overline{U} = ϕ, \overline{ϕ} = U

A \cap U = A A \cap ϕ = ϕ A \cup U = U, A \cup ϕ = A \overline{U} = ϕ, \overline{ϕ} = U

A \cup A^{c} = U

A \cap A^{c} = ϕ

(A^{c})^{c} = A

A \cap A = A

A \cup A = A

A \cap B = B \cap A

A \cup B = B \cup A

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

(A \cup B) \cup C = A \cup (B \cup C)

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

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

A \cap (i \in I ⋃ B_{i}) = i \in I ⋃ (A \cap B_{i})

A \cup (i \in I ⋂ B_{i}) = i \in I ⋂ (A \cup B_{i})

A \cap (A \cup B) = A

A \cup (A \cap B) = A

(A \cap B)^{c} = A^{c} \cup B^{c} (A \cup B)^{c} = (A)^{c} \cap (B)^{c}

(k = 1 ⋃ n A_{k})^{c} = k = 1 ⋂ n A_{k}^{c}

(k = 1 ⋂ n A_{k})^{c} = k = 1 ⋃ n A_{k}^{c}

A \subset B \Leftrightarrow B^{c} \subset A^{c} \Leftrightarrow A ∖ B = ϕ \Leftrightarrow A \cap B = A \Leftrightarrow A \cup B = B

B ∖ A = A^{c} \cap B

(a, b) = (a^{'}, b^{'}) : a = a^{'} \land b = b^{'}

A \times (B \cap C) = (A \times B) \cap (A \times C)

A \times (B \cup C) = (A \times B) \cup (A \times C)

(B \cap C) \times A = (B \times A) \cap (C \times A)

(B \cup C) \times A = (B \times A) \cup (C \times A)

λ \in Λ ⋃ A_{λ} = {x ∣\exists λ \in Λ (x \in A_{λ})}

λ \in Λ ⋂ A_{λ} = {x ∣\forall λ \in Λ (x \in A_{λ})}

(λ \in Λ ⋃ A_{λ}) \cup B = λ \in Λ ⋃ (A_{λ} \cup B)

(λ \in Λ ⋂ A_{λ}) \cap B = λ \in Λ ⋂ (A_{λ} \cap B)

(λ \in Λ ⋃ A_{λ}) \cap B = λ \in Λ ⋃ (A_{λ} \cap B)

(λ \in Λ ⋂ A_{λ}) \cup B = λ \in Λ ⋂ (A_{λ} \cup B)

(λ \in Λ ⋃ A_{λ})^{c} = λ \in Λ ⋂ A_{λ}^{c}

(λ \in Λ ⋂ A_{λ})^{c} = λ \in Λ ⋃ A_{λ}^{c}