Si tomamos formula_11, se dice que el r-simplejo formula_12 es una cara de formula_13.