subsimplex (simplex + sub-; below_under)
A polyhedron at the intersection of simplexes