ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4651 on D470: Subsigma-algebra
Bottom sigma-algebra is always a subsigma-algebra