给出二叉查找树的定义及其性质。
二叉查找树是一种二叉树结构，满足任意一个节点的左子树中的所有节点的值都小于这个节点的值，右子树中的所有节点的值都大于这个节点的值。

二叉查找树的性质包括：

1. 任意节点的左子树中的所有节点的值都小于这个节点的值，右子树中的所有节点的值都大于这个节点的值。
2. 左子树和右子树本身也是二叉查找树。
3. 对于任意节点，它的左子树中的所有节点的值加上右子树中的所有节点的值，再加上它本身的值，等于整棵二叉查找树中所有节点的值的和。
4. 中序遍历二叉查找树可以输出排序后的结果。