Disc diagram
= Disc diagram
A <disc diagram> over a combinatorial <2-complex> is a finite contractible planar combinatorial complex together with a combinatorial map to that complex. Its exterior boundary circuit records a <null-homotopic> path. Tree portions and cut vertices are allowed; the diagram need not be an embedded disk or map injectively. Its area is its number of two-cells.