1. 概述 于 集合论 中, 集合 上的 关系 是一种规则, 例如给定 中若干 元素 , 就能判定它们是否满足这种关系. 例如, 自然数 集上的关系包括：等价关系, 小于, 小于或等于, 整除 等. 这些例子都是 定义 1 (二元关系), 即两个元素满足的关系. 2. 定义 定义 1 (二元关系) 设 为 集合, 称 为 上的 二元关系, 它是 Cartesian 积 的一个 子集： 特别地, 若 -元组 , 则称 这些 元素 满足 关系 . 记号 2 (二元关系) 元素 满足 二元关系 记为 或 . 定义 3 ( 元关系) 设 为 一族 集合, 称 为 上的 元关系, 它是 Cartesian 积 的一个 子集： 特别地, 若 -元组 , 则称 这些 元素 满足 关系 . 记号 4 ( 元关系) 元素 满足 元关系 记为： 3. 相关概念 等价关系 运算 4. 术语翻译 中文英文二元关系binary relation 集合论