relation 关系

Binary relation 二元谓词

用于讨论两种物件的连系.比如 算数中的 等于 ,几何学中的相似 相似,集合论中的为...之元素

以下说明几种常见的二元谓词:

• 等于
• 不等于
• 大于
• 小于