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.