3是集合formula_34中的元素。formula_61代表字典向量的封闭线性生成空间(closed linear span)，在空间formula_61中，集合formula_4之向量的有限线性展开(finite linear expansion)是稠密(dense)的，如果formula_64，则称此字典具有完备性(completeness)。对于「时频原子分解」段落所描述的字典，formula_65，在空间formula_52中，时频分子的有限线性展开是稠密的，因此该字典具有完备性。假设有一信号