Cây đại diện cho cấu trúc phân cấp như biểu đồ phân cấp tổ chức, hệ thống tệp, v.v. Nói một cách chính thức hơn, cây có thể được định nghĩa đệ quy (cục bộ) như một tập hợp các nút (bắt đầu từ một nút gốc), trong đó mỗi nút là một cấu trúc dữ liệu bao gồm một giá trị, cùng với danh sách các tham chiếu đến các nút ("con"), với các ràng buộc là không có tham chiếu nào được trùng lặp (tức là mỗi con có chính xác một cha).
