【正确答案】 D

【答案解析】[要点解析] 堆排序中堆的定义：n个元素的序列{k1,k2,...,kn}，当且仅当满足下列关系时，称为堆。
[*]
可将，n个元素的序列看做是一棵完全二叉树，则堆的定义表明，完全二叉树中所有非终端节点的值均不大于(或小于)其左、右孩子节点的值。由此可判定，选项D的序列符合堆定义。