A partial order satisfies the -chain condition if for any with then there exist distinct and some such that and .
If then is said to satisfy the countable chain condition (c.c.c.)