关系是靠定义来的,例如这样的关系对,你可以定义它是小于关系就有XY,定义整除关系就是X能被Y整除