Un complejo simplicial (finito) es un conjunto finito de simplejos formula_14 de formula_4 que cumple las dos condiciones siguientes: