Text this: Completeness of the set of sub-σ-algebras