A binary tree where every node's left subtree has keys less than the node's key, and every right subtree has keys greater than the node's key.