If The left subtree of a node contains only values less than the node's value. The right subtree of a node contains only values greater than or equal to the node's value.