Definition: Familie
Eine Familie k ist eine Funktion, die ist dabei ein Element aus der Indexmenge, die alle möglichen sozusagen durchindiziert.