Cell complex of a covering from a coset graph
= Cell complex of a covering from a coset graph
For a presentation complex, the covering associated with a subgroup has one vertex for each coset. A generator gives directed edges according to its coset action, and every relator has one lifted 2-cell beginning at each vertex.