Deap được định nghĩa là cấu trúc dữ liệu không có phần tử hoặc giá trị khóa tại nút gốc (root node). Nó được hình thành bằng các quy tắc sau:
- Không có phần tử tại nút gốc tức là nút gốc rỗng.
- Cây con trái của deap biểu diễn min heap.
- Cây con phải của deap biểu diễn max heap.
Do đó, tính đúng đắn của phát biểu sau có thể chứng minh toán học bởi cấu trúc deap:
Nếu cây con trái và cây con phải của một số nút không rỗng, và các nút tương ứng của chúng được biểu diễn bằng 'a' và 'b' tương ứng, thì:
a.KeyValue ≤ b.KeyValue