Assertion: node's subtree | /r/HasProperty | search trees
Facets:
Source sentences:
text: Because both the left and right subtrees of a BST are again search trees; the above definition is recursively applied to all internal nodes: