关系

陈述

设 $A$、$B$ 是集合。

关系 $R$ 由有序对组成；$R \subseteq A \times B$ 表示 $R$ 是 $A$ 到 $B$ 的关系。

• 定义域 $\operatorname{dom} R = \{ a : \exists b (a, b) \in R \}$；
• 值域 $\operatorname{ran} R = \{ b : \exists a (a, b) \in R \}$；
• 逆 $R^{-1} = \{ (b, a) : (a, b) \in R \}$。