Description: The empty set belongs to every sigma-algebra. (Contributed by Glauco Siliprandi, 26-Jun-2021)