A binary tree with the property that the value of any node is greater than the largest value in its left subtree and less than the smallest value in its right subtree. Useful, in that one can perform a binary search on one.