数据结构被形式地定义为(D,R)，其中D是数据元素的有限集合，R是D上的关系有限集合。