4.2.4 Union

La réunion de deux ensembles est constituée des éléments appartenant à l'un ou à l'autre, c'est-à-dire X $\cup$ Y = {x tel que x $\in$ X ou x $\in$ Y}. La réunion d'ensembles est commutative, associative et idempotente. Remarquons que contrairement à l'intersection, la réunion de deux ensembles dont l'un n'est pas vide, n'est jamais vide.