n个记录的关键字k₁，k₂，…，k_n，当且仅当满足下列关系：k_i≤k_2i且k_i≤k_2i+1(1≤i≤n+1/2)则该关键字序列称为______。