La intersección de un número finito de conjuntos, superior a dos, se define teniendo en cuenta que, debido a la propiedad asociativa (más abajo), el orden en el que se intersequen los conjuntos es irrelevante: