Familie (Mathematik)

eine Abbildung m: I ⟶ M von einer Indexmenge I in eine beliebige Menge M, deren Bilder man als m_i und die man selbst auch als (m_i) _i∊I schreibt.