Definizione Dicesi insieme di indici un insieme non vuoto K (finito o infinito). Una famiglia di insiemi dipendente dall'insieme di indici K, è univocamente determinata da una legge che associa ad ogni k di K, un insieme Ak. Tale ente è simboleggiato da
Ciò premesso, sussiste la seguente definizione: Definizione Chiamasi unione degli insiemi della famiglia {Ak}, l'insieme: