Một cấu trúc dữ liệu chứa các số không hay nhiều nốt được liên kết với nhau trong một hệ thống phân cấp. Nếu bất kỳ nút có mặt, một nút là gốc; mỗi nút ngoại trừ gốc là con của một và chỉ có một nút khác, và mỗi nút có số không hay nhiều nút là trẻ em.