数据结构的形式定义是（D，S），其中D是数据元素的有限集，S是D上的关系有限集