Faute de précisions de l'auteur, j'interprète $A \cap X$ comme un ensemble de partie de $\Omega$. Si $\Omega =\bigsqcup_{i \in I} X_i$ est la partition, alors
$$A \cap X :=\{ A \cap X_i, i \in I\}.$$
De même, par défaut,
$$\bar{X} := \{ \bar{X_i}, i \in I\}.$$
Dans le cas d'une partition à deux éléments, on a bêtement $X = \bar{X}$ avec ces définitions, donc l'égalité est trivialement vraie, mais cette simplification disparaît dès qu'on a au moins trois éléments.
Message édité le 19 septembre 2016 à 18:31:37 par Hachino