数据结构被形式地定义为（D，R），其中D是（）的有限集合，R是D上的关系有限集合。