抽象数据类型三元组的定义为什么数据关系是呢?

有理数即分数,
分数的数据类型是很简单的.
另外,求有理数的分子,分母的问题,因为给的有理数只能是有限小数,所以根本没有疑问.
但是如果改成：
求分子分母之和最小的,在一定误差范围内的分数,这个问题才有价值
比如：
0.3333333,如果误差为1e-4
那么1/3明显要比333333/10000000
下面给出一个实现(C++)：
struct RatNum
{
int a,b;
static int GCD(int a,int b)
{
if(a

1.“数据结构”定义为一个二元组（D,S）,即两个集合,D是数据元素的集合,S是数据元素之间一个或多个关系的集合.
2.“抽象数据类型”本质是“数据类型”,与计算机相关,涉及数据的存储及如何用存储来反应数据元素之间的关系.它定义为一个三元组（D,S,P）,加上的P是定义的一组针对存储的数据操作（如插入,删除,排序等）.
3.总之“抽象数据类型”是“物理”概念,“数据结构”是“逻辑”概念.“抽象数据类型”来实现“数据结构”.

ADT Rational_Num {
数据对象：D={ | e1,e2∈I (I为整数集合) }
数据关系：R={ ,e1是有理数的分子,e2是有理数的分母,且e2≠0,即： }
基本操作：
InitRational_Num(&T,v1,v2)
操作结果：构造有理数T,元素e1,e2分别被赋以参数v1,v2的值
DestroyRational_Num(&T)
初始条件：有理数T已存在
操作结果：有理数T被销毁
GetRational_Num(T,i,&e)
初始条件：有理数T已存在, i∈{1,2}
操作结果：用e返回有理数T的分子或分母,i=1返回分子, i=2返回分母
PutRational_Num(T,i,e)
初始条件：有理数T已存在, i∈{1,2}
操作结果：改变有理数T的分子或分母为e,i=1改变分子, i=2改变分母
AddRational_Num(T1,T2,&T3)
初始条件：有理数T1,T2已存在
操作结果：有理数T1,T2相加,结果存入有理数T3
SubRational_Num(T1,T2,&T3)
初始条件：有理数T1,T2已存在
操作结果：有理数T1,T2相减,结果存入有理数T3
MulRational_Num(T1,T2,&T3)
初始条件：有理数T1,T2已存在
操作结果：有理数T1,T2相乘,结果存入有理数T3
DivRational_Num(T1,T2,&T3)
初始条件：有理数T1,T2已存在
操作结果：有理数T1,T2相除,结果存入有理数T3
} ADT Rational_Num