查看“︁交（关系）”︁的源代码

[[分类:关系]]{{DEFAULTSORT:jiao1}}
{{#seo:
|keywords=交, 交关系, 关系的交
|description=本文介绍交关系的数学定义、基本性质、多元交集和多元关系上的交集形式，涵盖关系运算中的核心概念。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-04-15
}}
{{InfoBox
|name=交关系
|eng_name=intersection relation
|aliases=交,intersection
}}
'''交关系'''('''intersection relation''')指两个或多个[[关系]]作为子集的[[交集]]，也是“同时有这些关系”构成的新的关系，简称'''交'''。

== 定义 ==

=== 二元关系的交 ===
{{Operation
|name=交关系
|symbol=<math>\cap</math>
|latex=\cap
|operand=关系
|result=关系
|prototype=布尔代数
|domain=<math>\mathcal{P}(X \times Y)\times \mathcal{P}(X \times Y)</math>
|codomain=<math>\mathcal{P}(X \times Y)</math>
}}
对集合 <math>X</math> 和 <math>Y</math> 上的两个关系 <math>R</math> 、 <math>S</math> ，记交集
<math>R \cap S = \left\{ (x, y) \in X \times Y \mid (x, y) \in R \land (x, y) \in S \right\} = \left\{ (x, y) \mid x R y \land x S y \right\}</math>
，称为 <math>R</math> 与 <math>S</math> 的'''交关系'''('''intersection relation''')，简称'''交'''('''intersection''')。

{{GiteaSvg|venn_graph/intersection}}

类似地，可以定义多个关系的交集。
对集合 <math>X</math> 和 <math>Y</math> 上的关系 <math>R_1, R_2, \dots, R_n</math> ，记交集
<math>R_1 \cap R_2 \cap \dots \cap R_n = \left\{ (x, y) \mid (x, y) \in R_1 \land (x, y) \in R_2 \land \dots \land (x, y) \in R_n \right\} = \left\{ (x, y) \mid x R_1 y \land x R_2 y \land \dots \land x R_n y \right\}</math> ，称为 <math>R_1,R_2,\dots,R_n</math> 的'''交关系'''('''intersection relation''')或'''交'''('''intersection''')。

=== 多元关系的交 ===
对集合 <math>A_1, \cdots, A_n</math> 上的两个多元关系 <math>R</math> 、 <math>S</math> ，将交集 <math>R\cap S</math> 定义为两个关系的交关系。

类似地，可以定义多个多元关系的交集。

== 性质 ==

* 交关系是关系交集运算的结果，满足交集的所有性质。见[[交集#性质|集合交集的性质]]。
* 两个关系的交的关系矩阵与两个关系矩阵之间的关系，相当于逐元素取对应两个元素的[[逻辑与]]（逻辑积）。


{{关系}}