compactness of sub-sigma-algebras