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

T liên thông và mỗi cạnh của nó đều là cầu.

Nếu thêm vào T một cạnh thì ta có ít nhất một chu trình

V_T = V, E_T × E

T liên thông, có đúng n cạnh và E_T × E.