Trong khoa học máy tính, cây là một kiểu dữ liệu trừu tượng (ADT) được sử dụng rộng rãi - hoặc cấu trúc dữ liệu triển khai kiểu ADT - mô phỏng cấu trúc cây phân cấp, với giá trị gốc và các cây con có nút cha, được biểu diễn dưới dạng một tập hợp các nút được liên kết.
Cấu trúc dữ liệu dạng 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ừ 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ị, và một danh sách các tham chiếu đến các nút ("con") , với ràng buộc là không có tham chiếu nào bị trùng lặp và không có tham chiếu nào trỏ đến nút gốc.
Một cây đơn giản sẽ không có thứ tự; trong sơ đồ này, nút số 7 có hai nút con, mang số 2 và 6, và một nút cha, mang số 2. Nút gốc ở trên cùng, không có cha.
