Cho G = (V, E) là đồ thị vô hướng liên thông n đỉnh. T = (VT, ET) được gọi là cây khung của đồ thị G nếu:

T liên thông và chứa n đỉnh của G.

T không liên thông, không chứa chu trình và chứa n cạnh của G.

T liên thông, không chứa chu trình và chứa n đỉnh của G.