Familie

in bezug auf die üblichen Operationen eine Algebra mit Einselement, für die die folgenden Operationen gelten: Eine Familie F von Funktionen über einem topologischen Raum T werde regulär genannt, wenn es zu jeder abgeschlossenen Menge  und jedem Punkt  eine Funktion  gibt, die die Eigenschaften  auf F besitzt. Eine Familie F heisst normal, wenn es zu je zwei disjunkten abgeschlossenen Mengen  eine Funktion  gibt, für die  auf F₁,  auf F₂.