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