数据结构的形式化定义

一个四元组 $(D,L,S,O)$

• D 是数据的有限集
• L 是 D 客观上存在的关系
• S 是 L 在计算机上的存储表示
• O 是 D 上规定的一组操作