complete atomless countably distributive Boolean algebra satisfying the countable chain condition
No description defined