Die von einem Mengensystem auf einer Menge erzeugte -Algebra .