Condición de cadena contable

En la teoría del orden, se dice que un conjunto parcialmente ordenado X satisface la condición de cadena contable , o que es ccc, si cada anticadena fuerte en X es contable (numerable).La condición de cadena contable significa la condición de cadena contable hacia abajo, en otras palabras, no hay dos elementos que tengan un límite inferior común.Esto se llama la "condición de cadena contable" en lugar del término más lógico "condición anticadena contable" por razones históricas relacionadas con ciertas cadenas de conjuntos abiertos en espacios topológicos y cadenas en álgebras booleanas completas, donde las condiciones de cadena a veces resultan ser equivalentes a las condiciones anticadena.Los órdenes parciales y los espacios que satisfacen el CCC se utilizan en la declaración del axioma de Martin.Para obtener más información sobre ccc en el contexto del forzamiento.