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

If I have a countable family of sets $\mathcal{A}=\{A_1,A_2,...\}$ and construct the Algebra generated by $\mathcal{A}$. Will it also be countable?

My intuition screams YES, but I cannot seem to construct the Algebra in any clever way. Hints are very much appreciated.

Thanks in advance!

share|cite|improve this question
up vote 8 down vote accepted

A member of the algebra can be written as an expression using the $A_j$ and the operations of intersection, union and complement, and thus encoded as a finite string over a finite alphabet. There are only countably many such strings.

Alternatively, induct on the number of operations.

share|cite|improve this answer
Thank you! That was clever – DoubleTrouble Nov 12 '12 at 8:02

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.