Khi chúng ta cố gắng triển khai kiểu dữ liệu trừu tượng Từ điển, thì nút sẽ liên kết với các giá trị. Từ điển về cơ bản là một tập hợp các khóa, phải là các phần tử được rút ra từ một thứ tự tổng thể. Có thể có thông tin bổ sung, được liên kết với mỗi khóa, nhưng nó không dẫn đến bất kỳ sự hiểu biết khái niệm nào.
Nếu từ điển được triển khai bằng cách sử dụng cây, thì mỗi nút sẽ giữ các khóa duy nhất. Ở đây đối với mỗi nút u trong cây, mọi khóa là u.l hoàn toàn nhỏ hơn u.k. Và mọi khóa trong u.r, đều lớn hơn u.k. Một cây được tổ chức theo bất biến này được gọi là cây tìm kiếm nhị phân.
Một trong những lợi thế chính của bất biến này là, danh sách các khóa được sắp xếp có thể được tìm thấy trong thời gian tuyến tính bằng cách sử dụng truyền theo thứ tự. Điều này có thể được định nghĩa một cách đệ quy như sau - Một cây trống, không làm gì cả, nếu không thì đệ quy trên cây con bên trái trước, lấy gốc và báo cáo nó. Sau đó chuyển sang cây con bên phải.
Chúng ta có thể thực hiện nhiều phép toán đối với cây tìm kiếm nhị phân. Việc tìm kiếm được thực hiện dựa trên chiều cao của cây. Tìm kiếm là hoạt động quan trọng hơn tất cả các hoạt động khác.