若将数据结构形式定义为二元组(K,R)，其中K是数据元素的有限集合，则R是K上( )

A．操作的有限集合

B．映象的有限集合

C．类型的有限集合

D．关系的有限集合