# Algèbre des parties d'un ensemble

En théorie des ensembles, l'ensemble des parties d'un ensemble, muni des opérations d'intersection, de réunion, et de passage au complémentaire, possède une structure d'algèbre de Boole. D'autres opérations s'en déduisent, comme la différence ensembliste et la différence symétrique.
L'algèbre des parties d'un ensemble étudie l'arithmétique de ces opérations (voir l'article « Opération ensembliste » pour des opérations qui ne laissent pas stable l'ensemble des parties d'un ensemble).

## Inclusion et égalité

Dans tout l'article, les ensembles considérés sont tous supposés inclus dans un ensemble donné $E$, dit de référence. L'inclusion est une relation d'ordre (partiel) notée « $\subset$ » ou « $\subseteq$ », et définie sur l'ensemble des parties de $E$, noté ${\mathcal {P}}(E)$, par :
    $A\subset B$ si et seulement si $\forall x\in E\quad (x\in A\Rightarrow x\in B)$.
L'égalité est définie par extensionnalité, deux ensembles sont égaux quand ils ont les mêmes éléments, c'est-à-dire que :
    $A=B$ si et seulement si $\forall x\in E\quad (x\in A\Leftrightarrow x\in B)$.
ou encore
    $A=B$ si et seulement si $A\subset B$ et $B\subset A$.
Les propriétés qui suivent correspondent donc, pour les égalités, à des équivalences en calcul propositionnel dont elles se déduisent. Elles peuvent être visualisées avec les diagrammes de Venn, une façon schématique de décrire toutes les cas possibles pour l'appartenance d'un élément à un nombre fini (et suffisamment réduit) d'ensembles, et qui peut donc permettre également de décrire des démonstrations d'égalité ou d'inclusion.
De façon similaire, les inclusions se ramènent à des implications.

## Réunion et intersection
### Réunion de deux ensembles

L'ensemble réunion de $A$ et de $B$, noté « $A\cup B$ » (lire « $A$ union $B$ »), est l'ensemble des éléments appartenant à $A$ ou à $B$ :
    $A\cup B=\{x\in E\mid (x\in A)\lor (x\in B)\}$
c'est-à-dire que :
    $x\in A\cup B$ si et seulement si $x\in A$ ou $x\in B$.

#### Propriétés

L'ensemble $E$ muni de la réunion a les propriétés suivantes (pour tous sous-ensembles $A,B,C$ de $E$) :
* (associativité) : le résultat de la réunion de plusieurs ensembles ne dépend pas de l'ordre dans lequel les opérations de réunion sont faites :
    $(A\cup B)\cup C=A\cup (B\cup C)$
    et on note $A\cup B\cup C$ cet ensemble ;
* (commutativité) : la réunion de deux ensembles ne dépend pas de l'ordre dans lequel ces deux ensembles sont pris :
    $A\cup B=B\cup A$ ;
* (idempotence) : la réunion d'un ensemble quelconque avec lui-même redonne cet ensemble :
    $A\cup A=A$ ;
* Ø est neutre : la réunion de l'ensemble vide avec un ensemble quelconque redonne cet ensemble :
    $A\cup \varnothing =A$ ;
* $E$ est absorbant : $A\cup E=E$.
L'ensemble $A\cup B$ est la borne supérieure pour l'inclusion des deux ensembles $A$ et $B$, c'est-à-dire qu'il contient $A$ et $B$, et qu'il est inclus dans tout ensemble contenant $A$ et $B$ :
* $A\subset A\cup B$, $B\subset A\cup B$ et $\forall C\left[(A\subset C{\text{ et }}B\subset C)\Rightarrow A\cup B\subset C\right]$.
Par conséquent l'inclusion se définit à partir de la réunion :
    $A\subset B$ si et seulement si $A\cup B=B$.

### Intersection de deux ensembles

L'ensemble intersection de $A$ et de $B$, noté « $A\cap B$ » (lire « $A$ inter $B$ ») est l'ensemble des éléments de $A$ qui sont également éléments de $B$, soit :
    $A\cap B=\{x\in E\mid (x\in A)\land (x\in B)\}$
c'est-à-dire que :
    $x\in A\cap B$ si et seulement si $x\in A$ et $x\in B$.
Deux ensembles qui n'ont aucun élément en commun, c'est-à-dire que leur intersection est vide, sont dits disjoints.

#### Propriétés

Les propriétés de l'intersection sont similaires à celles de la réunion. On dit qu'elles sont duales de celles-ci, car on les obtient en remplaçant le signe de réunion par celui d'intersection, et si nécessaire en échangeant ∅ et $E$, l'inclusion et sa réciproque. Pour tous sous-ensembles $A,B,C$ de $E$ on a les propriétés suivantes :
* (associativité) : le résultat de l'intersection de plusieurs ensembles ne dépend pas de l'ordre dans lequel les opérations sont faites :
    $(A\cap B)\cap C=A\cap (B\cap C)$
    et on note $A\cap B\cap C$ cet ensemble ;
* (commutativité) : l'intersection de deux ensembles ne dépend pas de l'ordre dans lequel ces deux ensembles sont pris
    $A\cap B=B\cap A$ ;
* (idempotence) : l'intersection d'un ensemble quelconque avec lui-même redonne cet ensemble
    $A\cap A=A$
* (Ø absorbant) : l'intersection de l'ensemble vide et d'un ensemble quelconque est vide
    $A\cap \varnothing =\varnothing$ ;
* $E$ est neutre : $A\cap E=A$.
L'ensemble $A\cap B$ est la borne inférieure pour l'inclusion des deux ensembles $A$ et $B$, c'est-à-dire qu'il est inclus dans $A$ et dans $B$, et qu'il contient tout ensemble inclus à la fois dans $A$ et dans $B$ :
* $A\cap B\subset A$, $A\cap B\subset B$ et $\forall C\left[(C\subset A{\text{ et }}C\subset B)\Rightarrow C\subset A\cap B\right]$.
Ceci permet de définir l'inclusion à partir de l'intersection cette fois :
    $A\subset B$ si et seulement si $A\cap B=A$.

### Distributivité

Les deux opérations de réunion et d'intersection sont distributives l'une par rapport à l'autre, c'est-à-dire que l'on a les deux propriétés suivantes, pour tous ensembles $A,B,C$ :
* (distributivité de l'intersection par rapport à la réunion : l'intersection de la réunion de deux ensembles avec un troisième ensemble est égale à la réunion de l'intersection de chacun des deux premiers ensembles avec le troisième :
    $A\cap (B\cup C)=(A\cap B)\cup (A\cap C)$ ;
* (distributivité de la réunion par rapport à l'intersection) : la réunion de l'intersection de deux ensembles avec un troisième ensemble est égale à l'intersection de la réunion de chacun des deux premiers ensembles avec le troisième :
    $A\cup (B\cap C)=(A\cup B)\cap (A\cup C)$.
De chaque côté de la première égalité figure un ensemble et nous voulons démontrer que ces ensembles sont égaux, c'est-à-dire montrer qu'un élément quelconque $x$ appartient au premier si et seulement s'il appartient au second. Notons respectivement a, b, c les propositions $x\in A$, $x\in B$, $x\in C$. D'après la distributivité de $\land$ par rapport à $\lor$ (que l'on peut vérifier sur une table de vérité) on a
    $a\land (b\lor c)\Leftrightarrow (a\land b)\lor (a\land c)$
ce qui traduit exactement l'équivalence souhaitée :
    $x\in [A\cap (B\cup C)]\Leftrightarrow x\in [(A\cap B)\cup (A\cap C)]~.$
La démonstration de la seconde égalité est identique, en échangeant $\land$ et $\lor$.

### Réunion et intersection : cas général

Il est possible de généraliser la réunion à un nombre fini d'ensembles : on se ramène au cas de deux ensembles par réunion binaires successives et l'associativité de la réunion assure que l'ordre n'a pas d'importance. De même pour l'intersection.
Mais il est possible également de généraliser ces opérations à une famille non nécessairement finie d'ensembles.
La réunion d'une famille d'ensembles $(A_{i})_{i\in I}$ est définie par :
    $\bigcup _{i\in I}A_{i}=\left\{x\in E\mid \exists \ i\in I\quad x\in A_{i}\,\right\}$.
Cette définition ne dépend pas de $E$. La réunion d'une famille vide est l'ensemble vide.
L'intersection d'une famille d'ensembles $(A_{i})_{i\in I}$ est définie par :
    $\bigcap _{i\in I}A_{i}=\left\{x\in E\mid \forall i\in I\quad x\in A_{i}\right\}$.
La définition ci-dessus ne dépend pas de l'ensemble $E$ sauf quand la famille est vide. Dans ce dernier cas l'intersection de la famille vide est par définition l'ensemble de référence $E$, ce qui reste compatible avec les propriétés de l'intersection. On ne peut pas définir « dans l'absolu » (sans ensemble de référence) l'intersection d'une famille vide.
Certaines des propriétés de la réunion et de l'intersection binaire se généralisent au cas infini. Ce sont maintenant des propriétés du calcul des prédicats (et plus seulement du calcul propositionnel) qui sont en jeu. En particulier :
* l'intersection et la réunion d'une famille $(A_{i})_{i\in I}$ ne dépendent que de l'ensemble image de la famille, ce qui généralise l'associativité, la commutativité et l'idempotence, et découle directement de la définition ;
* l'intersection d'une famille d'ensemble $(A_{i})_{i\in I}$ est la borne inférieure de l'ensemble $\{A_{i}|\,i\in I\}$ ;
* la réunion d'une famille d'ensemble (E$_i$)$_{i∈I}$ est la borne supérieure de l'ensemble $\{A_{i}|\,i\in I\}$;
* l'intersection binaire se distribue sur une réunion quelconque, de même que la réunion binaire sur une intersection quelconque :
    $A\cap \bigcup _{i\in I}B_{i}=\bigcup _{i\in I}(A\cap B_{i})$ ; $A\cup \bigcap _{i\in I}B_{i}=\bigcap _{i\in I}(A\cup B_{i})$ ;
* plus généralement, on a l'égalité $\bigcap _{i\in I}{\bigcup _{j\in J_{i}}{A_{i,j}}}=\bigcup _{f\in \left(\prod _{i\in I}{J_{i}}\right)}{\bigcap _{i\in I}{A_{i,f(i)}}}$ (dans laquelle l'inclusion $\supset$ est immédiate mais l'inclusion $\subset$ utilise l'axiome du choix si $I$ est infini) ainsi que l'égalité duale.

## Complémentaire

Un ensemble de référence $E$ étant donné, le complémentaire du sous-ensemble $A$ de $E$ (sous-entendu relativement à $E$) est l'ensemble des éléments de $E$ qui n'appartiennent pas à $A$. Il est noté $\complement _{E}A$ , $E\backslash A$ ou, en omettant l'ensemble de référence, $^{c}A,A^{c},{\overline {A}}$ :
    $A^{\mathrm {c} }=\{x\in E\mid x\notin A\}$
c'est-à-dire que
    $x\in A^{c}$ si et seulement si $x\in E$ et $x\not \in A$.
Le complémentaire de $A$ dépend de l'ensemble de référence $E$. Il est également caractérisé par les deux égalités :
    $A\cap A^{c}=\varnothing$=\ et $A\cup A^{c}=E$.
L'opération de passage au complémentaire est involutive c'est-à-dire que $(A^{c})^{c}=A$.

### Lois de De Morgan

Le passage au complémentaire inverse la relation d'inclusion :
    $A\subset B$ si et seulement si $B^{c}\subset A^{c}$
et par conséquent il échange la réunion et l'intersection, qui sont la borne supérieure et la borne inférieure, ce sont les lois de De Morgan :
    $(A\cap B)^{c}=A^{c}\cup B^{c}$;
    $(A\cup B)^{c}=A^{c}\cap B^{c}$.
Une structure ordonnée qui, comme l'ensemble des parties de $E$ muni des opérations binaires de réunion et d'intersection, de l'opération de passage au complémentaire, et des deux éléments distingués ∅ et $E$, vérifie les propriétés de ces opérations énumérées jusqu'à présent est appelée algèbre de Boole.

## Différence et différence symétrique
### Différence

La différence ensembliste de $A$ et $B$ notée « $A\setminus B$ » (lire « $A$ moins $B$ », ou « $A$ privé de $B$ ») est l'ensemble des éléments de $A$ qui n'appartiennent pas à $B$, soit :
    $A\setminus B=\{x\in A\mid x\notin B\}$.
La différence de $A$ et $B$ dans $E$ se définit à partir du complémentaire par $A\cap B^{c}$, et alors $(A\cap B^{c})^{c}=A^{c}\cup B$.
Si $B$ est inclus dans $A$, alors $A\setminus B$ se note aussi « $A-B$ » (lire encore « $A$ moins $B$ »), et s'appelle complémentaire de $B$ dans $A$ (ou relativement à $A$). On retrouve la notion de complémentaire ci-dessus, qui est celle de complémentaire relativement à $E$ :
    $A\setminus B=A-B=\complement _{A}B=\{x\in A\mid x\notin B\}$.

#### Propriétés de la différence

On a :
    $x\in A\setminus B$ si et seulement si $x\in A$ et $x\not \in B$
    $x\not \in A\setminus B$ si et seulement si $x\not \in A$ ou $x\in B$.
et donc :
    $A\setminus B=\varnothing$ si et seulement si $A\subset B$.
Les propriétés de la différence s'obtiennent à partir de sa définition et de celles de la réunion de l'intersection et du complémentaire. Par exemple, la première qui suit est une suite d'intersections, alors que la seconde utilise une loi de De Morgan et la distributivité de l'intersection sur la réunion.
    $(A\cap B)\setminus C=A\cap (B\setminus C)=(A\setminus C)\cap (B\setminus C)$
    $A\setminus (B\cap C)=(A\setminus B)\cup (A\setminus C)$.

### Différence symétrique

La différence symétrique de $A$ et $B$ , notée « $A\,\Delta \,B$ » (lire « $A$ delta $B$ ») est l'ensemble des éléments qui appartiennent soit à $A$, soit à $B$, mais pas aux deux à la fois. C'est la différence de $A\cup B$ et de $A\cap B$. On peut l'écrire sous diverses formes :
    $A\,\Delta \,B=(A\cup B)\setminus (A\cap B)=(A\setminus B)\cup (B\setminus A)$.
soit sous formes conjonctive et disjonctive :
    $A\,\Delta \,B=(A\cup B)\cap (A^{\mathrm {c} }\cup B^{\mathrm {c} })=(A\cap B^{\mathrm {c} })\cup (A^{\mathrm {c} }\cap B)$.
On a :
    $x\in A\,\Delta \,B$ si et seulement si ou bien $x\in A$ ou bien $x\in B$ (ou exclusif)
    $x\not \in A\,\Delta \,B$ si et seulement si $x\in A\Leftrightarrow x\in B$
ainsi la différence symétrique de deux ensembles est vide si et seulement si les deux ensembles sont égaux :
    $A\,\Delta \,B=\varnothing$ si et seulement si $A=B$.

#### Propriétés de la différence symétrique

L'ensemble des parties de $E$ muni de l'opération de différence symétrique est un groupe commutatif, avec ∅ pour élément neutre, et où chaque sous-ensemble de $E$ est son propre opposé, c'est-à-dire que pour tous sous-ensembles $A,B,C$ de $E$ , on a :
* (associativité) : la différence symétrique de trois ensembles ne dépend pas de l'ordre dans lequel les opérations sont effectuées, le parenthésage n'est pas nécessaire :
    $(A\,\Delta \,B)\,\Delta \,C=A\,\Delta \,(B\,\Delta \,C)$
    et on peut écrire $A\,\Delta \,B\,\Delta \,C$.
* (commutativité) : la différence symétrique de deux ensembles ne dépend pas de l'ordre dans lequel ces ensembles sont pris :
    $A\,\Delta \,B=B\,\Delta \,A$
* Ø est élément neutre : la différence symétrique de l'ensemble vide et d'un autre ensemble redonne cet ensemble :
    $A\,\Delta \,\varnothing =A$
* Chaque sous-ensemble est son propre opposé : la différence symétrique de tout ensemble avec lui-même donne l'ensemble vide :
    $A\,\Delta \,A=\varnothing$
Une conséquence est la régularité : si $A\,\Delta \,B=A\,\Delta \,C$, alors $B=C$.
L'ensemble des parties de $E$ muni, en plus de la différence symétrique, de l'intersection, est un anneau commutatif unitaire, c'est-à-dire qu'en plus des propriétés d'associativité et de commutativité de l'intersection, et de ce que $E$ est élément neutre :
* Distributivité de ∩ par rapport à Δ : l'intersection d'un ensemble avec la différence symétrique de deux autres ensembles est égale à la différence symétrique des intersections du premier ensemble avec chacun des deux autres :
    $A\cap (B\,\Delta \,C)=(A\cap B)\,\Delta \,(A\cap C)$.
La différence symétrique, contrairement à la réunion, n'est pas distributive par rapport à l'intersection.
C'est une propriété générale des algèbres de Boole qu'une opération définie comme la différence symétrique (avec la réunion l'intersection et le passage au complémentaire) permet de définir une structure d'anneau, appelé parfois anneau de Boole. D'autres propriétés, communes à toutes les algèbres de Boole, sont vérifiées comme :
    $A^{c}=E\,\Delta \,A$ et donc $A^{c}\Delta \,A=E$.
ou encore $(A\,\Delta \,B)^{c}=A^{c}\,\Delta \,B=A\,\Delta \,B^{c}$.

## Aspects axiomatiques

D'un point de vue axiomatique, en théorie des ensembles tout ce qui précède se développe à partir de l'axiome d'extensionnalité (égalité de deux ensembles), qui garantit en particulier l'unicité des constructions introduites, et du schéma d'axiomes de compréhension, qui garantit leur existence, tous les ensembles introduits étant définis comme sous-ensemble d'un ensemble $E$ donné.