Begriff aus der Maßtheorie.

Es sei \({\mathcal{A}}\) eine σ-Algebra in einer Menge Ω und A ⊂ Ω. Dann ist \(A\cap {\mathcal{A}}\) eine σ-Algebra in A und wird die Spur-σ-Algebra von \({\mathcal{A}}\) in A genannt. Ist \(A\in {\mathcal{A}}\), so gilt \(A\cap {\mathcal{A}}\subseteq {\mathcal{A}}\).