-Algebra auf
( ist Spur von auf ) ist -Algebra in (auch Spur -Algebra genannt)
Sei ein Erzeugendensystem von . Dann erzeugt
die -Algebra