堆中所有非终端结点的值均小于或等于（大于或等于）左右子树的值。