Se dice que formula_11 es un complejo celular (o un CW-complejo, o un CW-espacio, o un espacio CW, o que formula_11 es una CW-descomposición de formula_10, o que formula_11 es una descomposición de tipo CW de formula_10) si se cumple las siguientes condiciones: