查看“︁模板:关系”︁的源代码

{| class='wikitable' style='text-align:center;margin:0 auto;border-width:2px' width='100%'
|-
! colspan=3 style='border-bottom-width:2px' | [[关系|关系]]
|-
! 定义属性
| colspan=2 | 前域、后域、[[定义域、值域（关系）|定义域 <math>\operatorname{dom}</math>、值域 <math>\operatorname{ran}</math>、域 <math>\operatorname{fld}</math>]]
|-
! 特殊关系
| colspan=2 | [[空关系|空关系 <math>\varnothing</math>]]、[[恒等关系|恒等关系 <math>I</math>]]、[[全关系|全关系 <math>A\times B</math>]]
|-
! 二元齐次关系类型
| colspan=2 | [[自反关系|自反]]、[[反自反关系|反自反]]、[[对称关系|对称]]、[[反对称关系|反对称]]、[[传递关系|传递]]
|-
! rowspan=3 | 运算
! 集合运算
| [[交（关系）|交 <math>\cap</math>]]、[[并（关系）|并 <math>\cup</math>]]、[[补（关系）|补 <math>\bar{\bullet}</math>]]、[[差（关系）|差 <math>\setminus</math>]]
|-
! 类映射运算
| [[逆关系|转置/逆 <math>\bullet^\mathrm{T}/\bullet^{-1}</math>]]、[[复合（关系）|复合 <math>\circ</math>]]（[[幂（关系）|幂 <math>\bullet^n</math>]]）、[[限制（关系）|限制 <math>\bullet_{|\bullet}</math>]]
|-
! 闭包运算
| [[自反闭包|自反 <math>\operatorname{r}()</math>/<math>\bullet^=</math>]]、[[对称闭包|对称 <math>\operatorname{s}()</math>/<math>\bullet^\sim</math>]]、[[传递闭包|传递 <math>\operatorname{t}()</math>/<math>\bullet^+</math>]]、[[自反传递闭包|自反传递 <math>\bullet^*</math>]]、[[等价闭包|等价 <math>\bullet^\equiv</math>]]
|}