eine Abbildung (bzw. das Bild dieser Abbildung) \(\mathcal{F}:I \rightarrow \mathcal{M}\) von einer Indexmenge I in eine Menge von Mengen \(\mathcal{M}\).

Man schreibt auch \(\mathcal{F}=(M_{i})_{i\in{I}}\), wobei \(\mathcal{F}_{i}:=(\mathcal{M}_{i})\) gesetzt wird.