Countable Boolean algebra