并关系
| 并关系 | |
|---|---|
| 术语名称 | 并关系 |
| 英语名称 | union relation |
| 别名 | 并, union |
并关系(union relation)指两个或多个关系作为子集的并集，也是“至少有这些关系之一”所对应的关系。
定义
| 并 | |
|---|---|
| 运算名称 | 并 |
| 运算符号 | [math]\displaystyle{ \cup }[/math] |
| Latex | \cup
|
| 运算对象 | 关系 |
| 运算元数 | 2 |
| 运算结果 | 关系 |
| 结构 | 布尔代数 |
| 定义域 | [math]\displaystyle{ \mathcal{P}(X \times Y)\times \mathcal{P}(X \times Y) }[/math] |
| 陪域 | [math]\displaystyle{ \mathcal{P}(X \times Y) }[/math] |
对集合 [math]\displaystyle{ X }[/math] 、 [math]\displaystyle{ Y }[/math] 上的关系 [math]\displaystyle{ R }[/math] 、 [math]\displaystyle{ S }[/math] ，记并集 [math]\displaystyle{ R \cup S = \left\{ \langle x, y \rangle \mid \langle x, y \rangle \in R \lor \langle x, y \rangle \in S \right\} = \left\{ \langle x, y \rangle \mid x R y \lor x S y \right\} }[/math] ，称为 [math]\displaystyle{ R }[/math] 与 [math]\displaystyle{ S }[/math] 的并关系(union relation)，简称并(union)。
类似地，对集合 [math]\displaystyle{ X }[/math] 、 [math]\displaystyle{ Y }[/math] 上的关系 [math]\displaystyle{ R_1, R_2, \dots, R_n }[/math] ，记并集 [math]\displaystyle{ R_1 \cup R_2 \cup \dots \cup R_n = \left\{ \langle x, y \rangle \mid \langle x, y \rangle \in R_1 \lor \langle x, y \rangle \in R_2 \lor \dots \lor \langle x, y \rangle \in R_n \right\} = \left\{ \langle x, y \rangle \mid x R_1 y \lor x R_2 y \lor \dots \lor x R_n y \right\} }[/math] ，称为 [math]\displaystyle{ R_1,R_2,\dots,R_n }[/math] 的并关系(union relation)或并(union)。
尽管以上都在讨论二元关系，定义对多元关系也适用。
性质
见集合并集的性质。
两个关系的并的关系矩阵与两个关系矩阵之间的关系，相当于逐元素取对应两个元素的逻辑或（逻辑和）。