Cellularity

A BA A is said to satisfy the k-chain condition if every disjoint subset of A has power < k. Thus for k non-limit, this is the same as saying that the cellularity of A is < k. Of most interest is the ω 1-chain condition, called ccc for short (countable chain condition). We shall return to it below.