Category:Definitions/Trace Sigma-Algebras