countable atomless Boolean algebra