我希望找到三个关系 使得 . 我将通过三个步骤找到这样的三元组.
- 选择一个二元关系 .
- 找到关系 , 使得 .
- 找到关系 , 使得 .
远离, 作为对一个对象的远离, 增加自己与它的距离, 它朝向别的对象移动, 接近着别的对象. 所以, 远离是接近. 而接近一个对象意味着从当前位置离开, 远离当前一侧的事情. 于是, 接近也是远离. 往返, 它远离一个对象, 但远离的过程只是暂时的, 稍后它会接近被远离的对象; 它接近一个对象也是远离它的一个环节.
我希望找到三个关系 使得 . 我将通过三个步骤找到这样的三元组.
远离, 作为对一个对象的远离, 增加自己与它的距离, 它朝向别的对象移动, 接近着别的对象. 所以, 远离是接近. 而接近一个对象意味着从当前位置离开, 远离当前一侧的事情. 于是, 接近也是远离. 往返, 它远离一个对象, 但远离的过程只是暂时的, 稍后它会接近被远离的对象; 它接近一个对象也是远离它的一个环节.