Syntax definition csiga

Description: Extend class notation to include the function giving the sigma-algebras on a given base set.

	Ref	Expression
Assertion	csiga	$$class\mathrm{sigAlgebra}$$