Description: SalGen actually generates a sigma-algebra. (Contributed by Glauco Siliprandi, 3-Jan-2021)