Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

From ncatlab

What is missing is a simple description of the σ-algebra generated by ℬ.

  • For a mere algebra, this is easy; any ℬ can be taken as a subbase of an algebra, the symmetric unions of finite families of elements of ℬ form a base of the algebra, and the intersections of finite families of elements of the base form an algebra.

  • For a ring, the only difference is to use intersections only of inhabited families.

  • But for anything from a δ-ring to a σ-algebra, nothing like this will work.

According to the quote, which I don't quite understand,

  1. How is an algebra of subsets generated?

    In particular, how is symmetric union defined as a set operation? Union is always symmetric. I searched it on the internet, but the name seems to have a different meaning for relations.

  2. How is a ring of subsets generated?

Thanks and regards!

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.