connected-components tree

let be a connected triangulated undirected graph. let be a vertex of , and let be a face incident to . for a face of , define its level to be the minimum level of a vertex incident to . thus, , and all faces to which is incident is also 0.
for an integer , let denote the set of faces of with level at least . let denote the set of connected components of the subgraph of induced by . we refer to a connected component as a level- component, and we define . with a slight abuse of notation we identify a connected component of , which is a subgraph of , with the set of vertices of (faces of ) that belong to . thus, when it is convenient, we regard as a subset of .
[cite:;taken from @graph_klein_2024 chapter 5.7 the connected-components tree]
for any level and any component , is a simple cut.
[cite:;taken from @graph_klein_2024 chapter 5.7 lemma 5.7.7]