{"id":3416,"date":"2026-09-10T21:20:46","date_gmt":"2026-09-10T21:20:46","guid":{"rendered":"http:\/\/french.arabpsychology.com\/statistics\/operations-sur-les-ensembles-union-intersection-complement-difference\/"},"modified":"2026-09-10T21:20:51","modified_gmt":"2026-09-10T21:20:51","slug":"operations-sur-les-ensembles-union-intersection-complement-difference","status":"publish","type":"psych_stat","link":"https:\/\/french.arabpsychology.com\/?psych_stat=operations-sur-les-ensembles-union-intersection-complement-difference","title":{"rendered":"Op\u00e9rations sur les ensembles : union, intersection, compl\u00e9ment et diff\u00e9rence"},"content":{"rendered":"

L’\u00e9dification de la pens\u00e9e math\u00e9matique moderne repose sur un socle conceptuel dont la puissance n’a d’\u00e9gale que l’apparente simplicit\u00e9 : la th\u00e9orie des ensembles. Formalis\u00e9e \u00e0 la fin du XIXe si\u00e8cle sous l’impulsion pionni\u00e8re de Georg Cantor puis consolid\u00e9e par les axiomes de Zermelo et Fraenkel, cette discipline fournit la grammaire universelle par laquelle les math\u00e9matiques contemporaines formulent leurs propositions, construisent leurs espaces et explorent les topologies de l’abstrait. Bien au-del\u00e0 de la pure sp\u00e9culation g\u00e9om\u00e9trique ou analytique, la manipulation d’agr\u00e9gats d’objets partageant des propri\u00e9t\u00e9s d\u00e9termin\u00e9es constitue la matrice fondamentale de la logique formelle, de l’informatique th\u00e9orique, du calcul des probabilit\u00e9s et des sciences cognitives contemporaines.<\/p>\n

Au c\u0153ur de cette architecture r\u00e9sident les op\u00e9rations ensemblistes fondamentales : l’union, l’intersection, le compl\u00e9mentaire et la diff\u00e9rence. Ces op\u00e9rations ne constituent pas de simples conventions d’\u00e9criture arithm\u00e9tique transpos\u00e9es \u00e0 des collections d’objets ; elles incarnent les m\u00e9canismes primaires de classification, de conjonction, d’exclusion et de n\u00e9gation qui structurent le raisonnement humain. Examiner leurs fondements \u00e9pist\u00e9mologiques, leurs propri\u00e9t\u00e9s alg\u00e9briques intrins\u00e8ques et leurs repr\u00e9sentations topologiques permet de comprendre comment s’articulent la rigueur d\u00e9ductive et la mod\u00e9lisation du r\u00e9el, depuis la r\u00e9solution de paradoxes d’autor\u00e9f\u00e9rence jusqu’\u00e0 l’alg\u00e8bre des d\u00e9cisions algorithmiques.<\/p>\n

Le pr\u00e9sent trait\u00e9 propose une exploration exhaustive de ces op\u00e9rateurs fondamentaux, unissant l’exactitude analytique du formalisme bool\u00e9en aux applications transversales les plus actuelles. \u00c0 travers une progression m\u00e9thodique traversant l’\u00e9pist\u00e9mologie ensembliste, la th\u00e9orie de la mesure, la psychom\u00e9trie clinique, l’analyse comparative qualitative et la mod\u00e9lisation neuro-cognitive, nous mettrons en lumi\u00e8re la mani\u00e8re dont ces outils gouvernent l’intelligibilit\u00e9 scientifique, r\u00e9v\u00e9lant la profonde unit\u00e9 qui relie les \u00e9quations de l’alg\u00e8bre de Boole \u00e0 la taxonomie du vivant et \u00e0 la logique de la d\u00e9couverte scientifique.<\/p>\n

1. Fondements \u00e9pist\u00e9mologiques et formalisation de la th\u00e9orie des ensembles<\/h2>\n

1.1 D\u00e9finition rigoureuse d’un ensemble et de ses \u00e9l\u00e9ments<\/h3>\n

La premi\u00e8re formalisation syst\u00e9matique de la notion d’ensemble \u00e9merge sous la plume de Georg Cantor<\/a>, qui d\u00e9finit en 1895 un ensemble comme une collection en un tout d’objets d\u00e9finis et distincts de notre intuition ou de notre pens\u00e9e, appel\u00e9s les \u00e9l\u00e9ments de cet ensemble. Cette approche, qualifi\u00e9e r\u00e9trospectivement de th\u00e9orie na\u00efve des ensembles, postule que toute propri\u00e9t\u00e9 intelligible permet de discriminer sans ambigu\u00eft\u00e9 les entit\u00e9s qui appartiennent \u00e0 une collection de celles qui en sont exclues. N\u00e9anmoins, l’apparition de contradictions internes insolubles a contraint les logiciens \u00e0 abandonner l’intuition brute au profit d’une axiomatisation rigoureuse, initi\u00e9e par Ernst Zermelo et compl\u00e9t\u00e9e par Adolf Fraenkel avec l’axiome du choix (syst\u00e8me ZFC). D\u00e8s lors, un ensemble n’est plus d\u00e9fini par une saisie intuitive de son contenu, mais par le r\u00e9seau d’axiomes r\u00e9gissant la relation binaire fondamentale d’appartenance.<\/p>\n

Sur le plan notationnel, la d\u00e9signation d’un ensemble s’op\u00e8re selon trois modalit\u00e9s structurales. La d\u00e9finition en extension \u00e9num\u00e8re explicitement chaque membre de la collection entre accolades, une m\u00e9thode fonctionnelle pour les collections finies de faible cardinalit\u00e9 mais inapplicable aux ensembles infinis. La d\u00e9finition en compr\u00e9hension, pivot du formalisme axiomatis\u00e9 par le sch\u00e9ma d’axiomes de compr\u00e9hension restreinte, caract\u00e9rise un ensemble par l’\u00e9nonc\u00e9 d’une condition d’appartenance pr\u00e9dicative, signifiant que l’ensemble r\u00e9unit les \u00e9l\u00e9ments appartenant \u00e0 un ensemble pr\u00e9existant qui v\u00e9rifient un pr\u00e9dicat donn\u00e9. Enfin, la notation indic\u00e9e associe les \u00e9l\u00e9ments ou sous-ensembles \u00e0 un ensemble d’indices arbitraire, fournissant un formalisme indispensable pour manipuler des familles d’ensembles d\u00e9nombrables ou ind\u00e9nombrables dans les d\u00e9monstrations d’analyse sup\u00e9rieure.<\/p>\n

Le principe d’appartenance repose sur une ontologie binaire stricte : pour tout objet et tout ensemble, la proposition d’appartenance est soit vraie, soit fausse, excluant tout \u00e9tat mitoyen ou toute graduation dans le paradigme classique. Il convient de distinguer avec une vigilance absolue la relation d’appartenance, qui lie un \u00e9l\u00e9ment individuel \u00e0 l’ensemble qui le contient, de la relation d’inclusion, qui ordonne deux ensembles dont l’un est int\u00e9gralement contenu dans l’autre. Un \u00e9l\u00e9ment peut appartenir \u00e0 un ensemble sans \u00eatre un sous-ensemble de celui-ci, de m\u00eame qu’un singleton contenant cet \u00e9l\u00e9ment est un sous-ensemble et non un \u00e9l\u00e9ment de l’ensemble r\u00e9cepteur, sauf dans le cas pr\u00e9cis des constructions ensemblistes hi\u00e9rarchis\u00e9es comme les ordinaux de von Neumann.<\/p>\n

Cette armature d\u00e9finit le concept de cardinalit\u00e9, mesurant la taille d’un ensemble ind\u00e9pendamment de la nature de ses \u00e9l\u00e9ments. Alors que la cardinalit\u00e9 d’un ensemble fini correspond trivialement au nombre naturel comptabilisant ses constituants, Cantor a r\u00e9volutionn\u00e9 l’\u00e9pist\u00e9mologie en d\u00e9montrant l’existence d’une hi\u00e9rarchie infinie de grandeurs pour les ensembles infinis. Par le biais de bijections rigoureuses, il a prouv\u00e9 que l’ensemble des entiers naturels poss\u00e8de la plus petite cardinalit\u00e9 infinie, qualifi\u00e9e de d\u00e9nombrable, tandis que l’ensemble des nombres r\u00e9els poss\u00e8de une cardinalit\u00e9 strictement sup\u00e9rieure, non d\u00e9nombrable, inaugurant l’exploration des transfinis.<\/p>\n

1.2 L’ensemble universel et l’ensemble vide<\/h3>\n

L’analyse des structures ensemblistes exige la d\u00e9limitation rigoureuse de deux entit\u00e9s conceptuelles polaires : l’ensemble universel et l’ensemble vide. Dans la pratique math\u00e9matique contemporaine r\u00e9gie par ZFC, la notion d’un ensemble absolu qui contiendrait toutes choses sans exception est rigoureusement proscrite car contradictoire. Pour contourner cette impasse, on d\u00e9finit l’ensemble universel de mani\u00e8re contextuelle ou relativis\u00e9e, souvent not\u00e9 U<\/em> ou E<\/em>, comme l’univers du discours au sein duquel s’effectuent toutes les op\u00e9rations d’un domaine d’\u00e9tude donn\u00e9. Cet univers contextuel borne les pr\u00e9dicats analys\u00e9s et fournit le cadre stable n\u00e9cessaire pour donner un sens pr\u00e9cis \u00e0 la n\u00e9gation et aux op\u00e9rations de compl\u00e9mentation.<\/p>\n

\u00c0 l’autre extr\u00e9mit\u00e9 du spectre logico-math\u00e9matique se d\u00e9ploie l’ensemble vide, universellement not\u00e9 par la lettre scandinave \u00d8 introduite par le collectif Nicolas Bourbaki. L’ensemble vide est caract\u00e9ris\u00e9 par l’absence absolue de tout \u00e9l\u00e9ment. Son existence est postul\u00e9e formellement par l’axiome de l’ensemble vide ou d\u00e9duite de l’axiome de s\u00e9paration appliqu\u00e9 \u00e0 une proposition contradictoire. Sur le plan ontologique, l’ensemble vide n’est pas synonyme de n\u00e9ant conceptuel ; il constitue un objet math\u00e9matique plein et entier, unique en vertu de l’axiome d’extensionnalit\u00e9 qui stipule que deux ensembles sont identiques s’ils poss\u00e8dent exactement les m\u00eames \u00e9l\u00e9ments. Sa cardinalit\u00e9 est rigoureusement \u00e9gale \u00e0 z\u00e9ro, et il constitue le sous-ensemble universel de toute collection concevable.<\/p>\n

L’ensemble vide joue un r\u00f4le r\u00e9gulateur fondamental dans la coh\u00e9rence des th\u00e9ories formelles. Sans lui, l’intersection de deux collections sans \u00e9l\u00e9ments communs serait une op\u00e9ration ind\u00e9finie, ce qui violerait le principe de cl\u00f4ture op\u00e9rationnelle selon lequel l’action d’un op\u00e9rateur interne sur des objets d’un syst\u00e8me doit invariablement produire un objet appartenant \u00e0 ce m\u00eame syst\u00e8me. En tant qu’\u00e9l\u00e9ment absorbant ou neutre selon les lois de composition consid\u00e9r\u00e9es, il garantit la compl\u00e9tude de l’alg\u00e8bre bool\u00e9enne sous-jacente. Il sert en outre de fondement constructiviste pour l’arithm\u00e9tique ordinale, o\u00f9 le nombre z\u00e9ro est identifi\u00e9 \u00e0 l’ensemble vide, le nombre un \u00e0 l’ensemble contenant l’ensemble vide, et chaque entier suivant \u00e0 la r\u00e9union de ses pr\u00e9d\u00e9cesseurs.<\/p>\n

L’imp\u00e9ratif d’une d\u00e9finition contrainte de l’universalit\u00e9 d\u00e9coule historiquement du paradoxe de Russell<\/a>, \u00e9nonc\u00e9 par Bertrand Russell en 1901. Si l’on admet l’existence sans restriction d’un ensemble de tous les ensembles qui ne se contiennent pas eux-m\u00eames comme \u00e9l\u00e9ments, une aporie surgit imm\u00e9diatement : cet ensemble doit-il s’appartenir \u00e0 lui-m\u00eame ? S’il s’appartient, il enfreint sa condition de d\u00e9finition et doit \u00eatre exclu ; s’il ne s’appartient pas, il remplit la condition et doit donc s’inclure. Ce paradoxe a pulv\u00e9ris\u00e9 la th\u00e9orie na\u00efve cantorienne et \u00e9tabli d\u00e9finitivement qu’un r\u00e9f\u00e9rentiel universel non born\u00e9 produit des antinomies fatales pour la v\u00e9rit\u00e9 axiomatique.<\/p>\n

1.3 Sous-ensembles, inclusion et ensemble des parties<\/h3>\n

La relation d’inclusion constitue le m\u00e9canisme directeur permettant d’ordonner les agr\u00e9gats d’objets. Un ensemble A<\/em> est dit sous-ensemble ou partie d’un ensemble B<\/em> si et seulement si tout \u00e9l\u00e9ment appartenant \u00e0 A<\/em> appartient \u00e9galement \u00e0 B<\/em>. Cette inclusion est qualifi\u00e9e de large lorsqu’elle autorise la possibilit\u00e9 que A<\/em> et B<\/em> soient rigoureusement identiques, ce que formalise la notation standard. En revanche, l’inclusion stricte impose une contrainte suppl\u00e9mentaire : A<\/em> est inclus dans B<\/em> et il existe au moins un \u00e9l\u00e9ment de B<\/em> qui ne figure pas dans A<\/em>. La double inclusion constitue la strat\u00e9gie d\u00e9monstrative fondamentale pour \u00e9tablir l’\u00e9galit\u00e9 de deux ensembles : d\u00e9montrer que A<\/em> \u00e9gale B<\/em> \u00e9quivaut \u00e0 prouver simultan\u00e9ment que A<\/em> est inclus dans B<\/em> et que B<\/em> est inclus dans A<\/em>.<\/p>\n

\u00c0 partir d’un ensemble fondamental E<\/em>, l’esprit math\u00e9matique peut concevoir la totalit\u00e9 de ses sous-ensembles possibles. Cette m\u00e9ta-collection est d\u00e9sign\u00e9e sous le nom d’ensemble des parties de E<\/em>, traditionnellement symbolis\u00e9 par P(E)<\/em> ou 2E<\/em><\/sup>. Si E<\/em> est un ensemble fini comprenant n<\/em> \u00e9l\u00e9ments, la cardinalit\u00e9 de son ensemble des parties ob\u00e9it \u00e0 la loi exponentielle exacte 2n<\/em><\/sup>. Cette propri\u00e9t\u00e9 combinatoire d\u00e9coule du fait que lors de la construction d’un sous-ensemble quelconque, chaque \u00e9l\u00e9ment individuel de E<\/em> fait l’objet d’un choix binaire ind\u00e9pendant : soit il est s\u00e9lectionn\u00e9 pour figurer dans la partie, soit il en est exclu. Par cons\u00e9quent, il existe deux possibilit\u00e9s pour le premier \u00e9l\u00e9ment, deux pour le second, et ainsi de suite jusqu’au n<\/em>-i\u00e8me \u00e9l\u00e9ment, engendrant un arbre combinatoire de 2 \u00d7 2 \u00d7 … \u00d7 2 = 2n<\/em><\/sup> configurations distinctes.<\/p>\n

La relation d’inclusion structure l’ensemble des parties selon une relation d’ordre partiel. Elle v\u00e9rifie la r\u00e9flexivit\u00e9 (tout ensemble est inclus dans lui-m\u00eame), l’antisym\u00e9trie (si deux ensembles sont mutuellement inclus l’un dans l’autre, ils sont identiques) et la transitivit\u00e9 (si A<\/em> est inclus dans B<\/em> et B<\/em> est inclus dans C<\/em>, alors A<\/em> est n\u00e9cessairement inclus dans C<\/em>). L’ordre est dit partiel car deux ensembles distincts ne sont pas n\u00e9cessairement comparables par inclusion ; deux parties peuvent poss\u00e9der des \u00e9l\u00e9ments disjoints ou des intersections partielles sans qu’aucune ne subordonne l’autre. Cet ordonnancement conf\u00e8re \u00e0 l’ensemble des parties une g\u00e9om\u00e9trie alg\u00e9brique remarquable connue sous le nom de treillis bool\u00e9en.<\/p>\n

Ce formalisme abstrait pr\u00e9sente un parall\u00e9lisme structural direct avec les typologies diagnostiques et cat\u00e9gorielles exploit\u00e9es dans les sciences de l’esprit et de la vie. Dans les taxonomies psychiatriques ou cliniques contemporaines, chaque syndrome diagnostique est d\u00e9fini comme un ensemble de crit\u00e8res comportementaux et neurophysiologiques. L’inclusion correspond \u00e0 l’embo\u00eetement de profils syndromiques, l’ensemble des parties repr\u00e9sente l’espace complet de toutes les constellations symptomatiques potentielles chez un individu, et la relation d’ordre partiel illustre formellement les hi\u00e9rarchies de comorbidit\u00e9 sans imposer un continuum univari\u00e9 artificiel.<\/p>\n

\"Cartesian
Cartesian product of two sets<\/figcaption><\/figure>\n

2. L’op\u00e9ration d’union : concepts fondamentaux et formalisme math\u00e9matique<\/h2>\n

2.1 D\u00e9finition logique et notationnelle de l’union<\/h3>\n

L’op\u00e9ration d’union rassemble au sein d’une entit\u00e9 unique l’ensemble des \u00e9l\u00e9ments appartenant \u00e0 l’une ou l’autre de deux collections donn\u00e9es, ou simultan\u00e9ment aux deux. Dans le symbolisme formel forg\u00e9 par Giuseppe Peano, l’union des ensembles A<\/em> et B<\/em> est d\u00e9sign\u00e9e par A \u222a B<\/em>. Son armature analytique s’\u00e9nonce selon le formalisme de compr\u00e9hension :<\/p>\n

A \u222a B = { x \u2208 U | (x \u2208 A) \u2228 (x \u2208 B) }<\/em><\/p>\n

Le symbole logique central de cette d\u00e9finition est la disjonction inclusive. En logique propositionnelle standard, une disjonction inclusive est \u00e9valu\u00e9e comme vraie d\u00e8s lors qu’au moins un des op\u00e9randes est vrai, incluant le cas o\u00f9 les deux propositions sont v\u00e9rifi\u00e9es concurremment. Ainsi, pour qu’un \u00e9l\u00e9ment quelconque appartienne \u00e0 la r\u00e9union A \u222a B<\/em>, il suffit qu’il v\u00e9rifie la propri\u00e9t\u00e9 d’appartenance \u00e0 A<\/em>, qu’il v\u00e9rifie la propri\u00e9t\u00e9 d’appartenance \u00e0 B<\/em>, ou qu’il satisfasse simultan\u00e9ment ces deux conditions. L’union traduit donc sur le plan ensembliste l’alternative non exclusive de la langue formelle.<\/p>\n

Il est imp\u00e9ratif d’op\u00e9rer une diff\u00e9renciation tranch\u00e9e entre cette disjonction inclusive et la disjonction exclusive (le \u00ab ou \u00bb exclusif du langage courant). Si l’union acceptait le principe du tiers exclu au niveau intensionnel, un \u00e9l\u00e9ment appartenant simultan\u00e9ment \u00e0 A<\/em> et \u00e0 B<\/em> serait paradoxalement \u00e9limin\u00e9 du rassemblement r\u00e9sultant, ce qui r\u00e9duirait l’op\u00e9ration \u00e0 la diff\u00e9rence sym\u00e9trique. La disjonction inclusive garantit que l’union cumule l’int\u00e9gralit\u00e9 des domaines de validit\u00e9 respectifs de A<\/em> et de B<\/em> sans p\u00e9naliser leur co\u00efncidence.<\/p>\n

Ce formalisme binaire se g\u00e9n\u00e9ralise de fa\u00e7on naturelle \u00e0 des collections comprenant un nombre quelconque d’ensembles. Si l’on consid\u00e8re une famille d’ensembles indic\u00e9e par un ensemble d’indices I<\/em> quelconque, fini, d\u00e9nombrable ou ind\u00e9nombrable, l’union g\u00e9n\u00e9ralis\u00e9e est not\u00e9e \u222ai\u2208I<\/sub> Ai<\/sub><\/em> et regroupe tous les \u00e9l\u00e9ments x<\/em> pour lesquels il existe au moins un indice k<\/em> dans I<\/em> tel que x<\/em> appartienne \u00e0 Ak<\/sub><\/em>. Cette puissance d’extension permet d’agr\u00e9ger une infinit\u00e9 continue d’espaces sous-jacents, un m\u00e9canisme fondamental en analyse math\u00e9matique pour construire des ouverts et d\u00e9finir des topologies.<\/p>\n

\"Union
Union set operation<\/figcaption><\/figure>\n

2.2 Propri\u00e9t\u00e9s alg\u00e9briques fondamentales de l’union<\/h3>\n

L’union ensembliste n’est pas une simple agr\u00e9gation m\u00e9canique ; elle est r\u00e9gie par une structure alg\u00e9brique d’une parfaite coh\u00e9rence interne. La premi\u00e8re de ses propri\u00e9t\u00e9s est l’idempotence : l’union d’un ensemble avec lui-m\u00eame reproduit invariablement cet ensemble unique (A \u222a A = A<\/em>). Cette propri\u00e9t\u00e9 refl\u00e8te le principe selon lequel l’appartenance \u00e0 un ensemble ne quantifie pas la multiplicit\u00e9 des occurrences d’un \u00e9l\u00e9ment au sein de la collection ; un \u00e9l\u00e9ment y r\u00e9side ou n’y r\u00e9side pas, rendant la r\u00e9p\u00e9tition conceptuellement inactive.<\/p>\n

La deuxi\u00e8me propri\u00e9t\u00e9 fondamentale concerne l’existence d’un \u00e9l\u00e9ment neutre pour l’op\u00e9ration. L’ensemble vide constitue cet \u00e9l\u00e9ment neutre unique, ce qui signifie que l’union d’un ensemble quelconque A<\/em> avec l’ensemble vide redonne l’ensemble A<\/em> sans alt\u00e9ration (A \u222a \u00d8 = A<\/em>). L’absence d’\u00e9l\u00e9ments au sein de \u00d8 implique qu’aucun nouvel \u00e9l\u00e9ment n’est introduit dans le domaine unifi\u00e9. \u00c0 l’inverse, si l’on applique l’op\u00e9ration d’union entre l’ensemble A<\/em> et l’ensemble universel U<\/em> qui d\u00e9limite l’espace d’analyse, l’univers agit comme un \u00e9l\u00e9ment absorbant : A \u222a U = U<\/em>. Puisque chaque \u00e9l\u00e9ment de A<\/em> r\u00e9side d\u00e9j\u00e0 par d\u00e9finition dans U<\/em>, l’adjonction de A<\/em> ne saurait exc\u00e9der la fronti\u00e8re du r\u00e9f\u00e9rentiel global.<\/p>\n

Sur le plan structural, l’union v\u00e9rifie la commutativit\u00e9 et l’associativit\u00e9. La commutativit\u00e9 stipule que l’ordre des op\u00e9randes est indiff\u00e9rent : A \u222a B = B \u222a A<\/em>. Sa d\u00e9monstration s’\u00e9tablit directement \u00e0 partir de la commutativit\u00e9 de la disjonction logique sous-jacente. L’associativit\u00e9 garantit que lors du regroupement de trois ensembles ou davantage, le cha\u00eenage des op\u00e9rations n’affecte pas l’extension finale : (A \u222a B) \u222a C = A \u222a (B \u222a C)<\/em>. Gr\u00e2ce \u00e0 cette propri\u00e9t\u00e9, il est l\u00e9gitime d’omettre les parenth\u00e8ses lors de l’\u00e9criture de r\u00e9unions multiples.<\/p>\n

Ces propri\u00e9t\u00e9s conf\u00e8rent \u00e0 l’ensemble des parties muni de l’union la structure d’un demi-groupe commutatif et idempotent (ou demi-treillis sup). Dans le cadre plus vaste d’une alg\u00e8bre de Boole<\/a>, ces r\u00e9gularit\u00e9s formelles s’articulent avec la n\u00e9gation et la conjonction pour assurer le th\u00e9or\u00e8me de cl\u00f4ture : toute combinaison finie d’unions de sous-ensembles d’un r\u00e9f\u00e9rentiel produit irr\u00e9vocablement un sous-ensemble appartenant \u00e0 ce m\u00eame r\u00e9f\u00e9rentiel.<\/p>\n

2.3 Exemples num\u00e9riques et cas limites<\/h3>\n

Pour illustrer de mani\u00e8re concr\u00e8te la dynamique de l’union, consid\u00e9rons deux ensembles finis d’entiers naturels d\u00e9finis en extension : A = {2, 4, 6, 8}<\/em> et B = {6, 8, 10, 12}<\/em>. L’application rigoureuse de la d\u00e9finition de l’union requiert la collecte de chaque \u00e9l\u00e9ment figurant dans au moins l’un de ces deux r\u00e9pertoires. Bien que les valeurs 6 et 8 appartiennent simultan\u00e9ment aux deux ensembles, elles ne figurent qu’une seule fois dans la r\u00e9union finale par application de l’axiome d’extensionnalit\u00e9 : A \u222a B = {2, 4, 6, 8, 10, 12}<\/em>. La cardinalit\u00e9 du r\u00e9sultat est de 6, et non de 8, illustrant imm\u00e9diatement l’effet de neutralisation des redondances.<\/p>\n

Dans l’hypoth\u00e8se o\u00f9 les deux ensembles consid\u00e9r\u00e9s sont mutuellement disjoints, \u00e0 l’instar de C = {1, 3, 5}<\/em> et D = {2, 4, 6}<\/em>, l’union se r\u00e9duit \u00e0 la simple juxtaposition des \u00e9l\u00e9ments de chaque ensemble : C \u222a D = {1, 2, 3, 4, 5, 6}<\/em>. Dans cette configuration g\u00e9om\u00e9trique d’\u00e9loignement absolu, la cardinalit\u00e9 de l’union co\u00efncide rigoureusement avec la somme arithm\u00e9tique des cardinalit\u00e9s individuelles de chaque op\u00e9rande. Un autre cas remarquable est celui des ensembles embo\u00eet\u00e9s. Si nous posons E = {1, 2}<\/em> et F = {1, 2, 3, 4}<\/em>, il appara\u00eet que E<\/em> est un sous-ensemble strict de F<\/em> (E \u2282 F<\/em>). Par cons\u00e9quent, l’union de ces deux ensembles est absorb\u00e9e par le plus grand : E \u222a F = F = {1, 2, 3, 4}<\/em>. L’union r\u00e9v\u00e8le ici sa nature d’op\u00e9ration de borne sup\u00e9rieure dans le treillis de l’inclusion.<\/p>\n

L’impact de l’union sur la cardinalit\u00e9 des ensembles finis est r\u00e9gi par le th\u00e9or\u00e8me fondamental de l’inclusion-exclusion, \u00e9nonc\u00e9 pour deux ensembles sous la forme :<\/p>\n

|A \u222a B| = |A| + |B| – |A \u2229 B|<\/em><\/p>\n

Cette relation fondamentale d\u00e9montre que l’addition directe des cardinaux individuels |A|<\/em> et |B|<\/em> compte deux fois la portion commune constitu\u00e9e par l’intersection des deux domaines. Le terme correctif -|A \u2229 B|<\/em> r\u00e9tablit l’\u00e9quilibre comptable exact. Dans le cas de nos ensembles A<\/em> et B<\/em> pr\u00e9c\u00e9dents, le calcul analytique confirme : 4 + 4 – 2 = 6<\/em>. Ce principe fournit l’outil pr\u00e9dictif central pour la combinatoire et le calcul probabiliste \u00e9l\u00e9mentaire.<\/p>\n

3. L’op\u00e9ration d’intersection : analyse logique et structures communes<\/h2>\n

3.1 Formalisation rigoureuse de l’intersection<\/h3>\n

Si l’union exprime le rassemblement expansif, l’intersection incarne l’op\u00e9ration de s\u00e9lection s\u00e9lective par excellence. Elle identifie et isole la totalit\u00e9 des \u00e9l\u00e9ments qui partagent simultan\u00e9ment l’appartenance \u00e0 deux ou plusieurs collections de r\u00e9f\u00e9rence. Symbolis\u00e9e par l’op\u00e9rateur en arche invers\u00e9e \u2229<\/em>, introduit lui aussi par Peano, l’intersection de deux ensembles A<\/em> et B<\/em> se d\u00e9finit formellement par le sch\u00e9ma de compr\u00e9hension pr\u00e9dicatif :<\/p>\n

A \u2229 B = { x \u2208 U | (x \u2208 A) \u2227 (x \u2208 B) }<\/em><\/p>\n

Le pivot de cette \u00e9quation r\u00e9side dans la conjonction logique stricte, d\u00e9sign\u00e9e par le symbole \u2227<\/em>. Selon la table de v\u00e9rit\u00e9 canonique de la conjonction, la proposition composite (x \u2208 A) \u2227 (x \u2208 B)<\/em> ne rev\u00eat la valeur de v\u00e9rit\u00e9 \u00ab vraie \u00bb que si et seulement si l’assertion x \u2208 A<\/em> est vraie ET l’assertion x \u2208 B<\/em> est simultan\u00e9ment vraie. D\u00e8s lors qu’un \u00e9l\u00e9ment fait d\u00e9faut \u00e0 l’un des deux ensembles, f\u00fbt-il omnipr\u00e9sent dans l’autre, sa candidature au sein de l’espace d’intersection est imm\u00e9diatement rejet\u00e9e.<\/p>\n

L’intersection s’\u00e9tend de mani\u00e8re analogue aux familles d’ensembles de taille arbitraire. Pour une famille indic\u00e9e quelconque {Ai<\/sub>}i\u2208I<\/sub><\/em>, l’intersection g\u00e9n\u00e9ralis\u00e9e not\u00e9e \u2229i\u2208I<\/sub> Ai<\/sub><\/em> recueille les entit\u00e9s x<\/em> telles que pour tout indice i<\/em> appartenant \u00e0 I<\/em>, la relation x \u2208 Ai<\/sub><\/em> soit rigoureusement satisfaite. L’intersection fonctionne ainsi comme un filtre logique continu : \u00e0 mesure que le nombre d’ensembles intersect\u00e9s s’accro\u00eet, les contraintes impos\u00e9es \u00e0 chaque \u00e9l\u00e9ment s’accumulent, entra\u00eenant une restriction monotone ou au mieux une stagnation de l’extension de l’ensemble r\u00e9sultant.<\/p>\n

\"Intersection
Intersection set operation<\/figcaption><\/figure>\n

3.2 Ensembles disjoints et vacuit\u00e9 de l’intersection<\/h3>\n

Une configuration fondamentale dans l’\u00e9tude des structures d’ensembles survient lorsque deux collections ne partagent aucun \u00e9l\u00e9ment commun. Dans cette conjoncture, l’intersection des deux ensembles produit rigoureusement l’ensemble vide : A \u2229 B = \u00d8<\/em>. Deux ensembles v\u00e9rifiant cette condition sont qualifi\u00e9s d’ensembles disjoints ou mutuellement exclusifs. Cette vacuit\u00e9 de l’intersection traduit l’incompatibilit\u00e9 logique des crit\u00e8res d’appartenance : aucun objet dans l’univers du discours ne peut satisfaire concurremment les pr\u00e9dicats distincts assign\u00e9s aux deux classes.<\/p>\n

Lorsque cette propri\u00e9t\u00e9 de disjonction est \u00e9tendue \u00e0 une collection compl\u00e8te de sous-ensembles non vides {A1<\/sub>, A2<\/sub>, …, Ak<\/sub>}<\/em> d’un ensemble r\u00e9f\u00e9rentiel E<\/em>, et que l’union de tous ces sous-ensembles reconstitue fid\u00e8lement l’ensemble initial E<\/em>, cette collection re\u00e7oit le titre de partition de E<\/em>. Une partition d\u00e9coupe l’univers de r\u00e9f\u00e9rence en cellules \u00e9tanches sans perte ni superposition d’\u00e9l\u00e9ments :<\/p>\n