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