For every nonempty simplex of , let be its barycentre. The first barycentric subdivision has the as vertices, and
is a simplex exactly when, after reordering, . Its realization is the same polyhedron as that of . The iterated barycentric subdivision is defined by