Под обединение на две множества А и В се разбира множеството C = A ∪ ∪ --> B := { x ∈ ∈ --> A {\displaystyle C=A\cup B:=\{x\in A} или x ∈ ∈ --> B } {\displaystyle x\in B\}} .
За действието обединение важат комутативния и асоциативният закон:
- A ∪ ∪ --> B = B ∪ ∪ --> A {\displaystyle A\cup B=B\cup A} .
- ( A ∪ ∪ --> B ) ∪ ∪ --> C = A ∪ ∪ --> ( B ∪ ∪ --> C ) {\displaystyle (A\cup B)\cup C=A\cup (B\cup C)} .
Между операциите обедиенение и сечение важат дистрибутивните закони (разместителното свойство в математиката):
- ( A ∩ ∩ --> B ) ∪ ∪ --> C = ( B ∪ ∪ --> C ) ∩ ∩ --> ( A ∪ ∪ --> C ) {\displaystyle (A\cap B)\cup C=(B\cup C)\cap (A\cup C)} .
- ( A ∪ ∪ --> B ) ∩ ∩ --> C = ( B ∩ ∩ --> C ) ∪ ∪ --> ( A ∩ ∩ --> C ) {\displaystyle (A\cup B)\cap C=(B\cap C)\cup (A\cap C)} .
