Metamath Proof Explorer


Syntax definition csalg

Description: Extend class notation with the class of all sigma-algebras.

Ref Expression
Assertion csalg class SAlg