Axiome de la réunion

Dans la théorie des ensembles et dans les branches de la logique, des mathématiques, et de l'informatique, l'axiome de la réunion est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, affirmant que, pour tout ensemble quelconque, il existe un ensemble qui contient exactement les éléments de tout élément de l'ensemble.

Cet axiome, permet avec l'aide de l'axiome de la paire de démontrer que la réunion de deux ensembles (qui contient exactement les éléments des deux ensembles), est un ensemble.

Dans le langage formel de l'axiomatique de Zermelo-Fraenkel, l'axiome s'écrit:

ou avec des mots:

étant donné un ensemble quelconque A, il existe un ensemble B tel que, pour tout ensemble C quelconque, C est élément de B si et seulement s’il existe un ensemble D tel que D soit un élément A et que C soit un élément de D.

La clause placée entre parenthèses et faisant intervenir D sert à déclarer que C est élément d'un certain ensemble, lui-même élément de A. Ainsi, l'axiome affirme réellement qu'étant donné un ensemble A, il existe un ensemble B dont les éléments sont précisément les éléments des éléments de A. L'axiome d'extensionnalité prouve que cet ensemble B est unique. L'ensemble B est appelé la réunion de A, et est noté . Ainsi l'axiome dit essentiellement que la réunion d'un ensemble (la réunion de tous les éléments de cet ensemble) est un ensemble.

L'axiome de la réunion ou un équivalent de celui-ci apparaît dans pratiquement toute axiomatique alternative de la théorie des ensembles.

Il n'y a pas d'axiome correspondant pour l'intersection. Dans le cas où A est l'ensemble vide, il n'y a aucune intersection de A dans la théorie des ensembles de Zermelo-Fraenkel. D'autre part, si A a un certain élément B, l'ensemble peut être formé en employant le schéma d'axiomes de compréhension.