习题 1, § 2

标签 03HG，永久不变。引用为 [Bourbaki, Tag 03HG]。

集合论, II, 123

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

设 $R\{x, y\}$ 为关系，字母 $x$ 和 $y$ 不同；令 $z$ 为一个字母，与 $x$ 和 $y$ 不同，后者不出现在

$R\{x, y\}$ 。证明关系 $(\exists x)(\exists y)R\{x, y\}$ 等价于

(\exists z)(z \text{ is an ordered pair and } R\{\mathrm{pr}_1 z,\ \mathrm{pr}_2 z\})

关系 $(\forall x)(\forall y)R\{x, y\}$ 相当于

(\forall z)\ ((z \text{ is an ordered pair}) \Rightarrow R\{\mathrm{pr}_1 z,\ \mathrm{pr}_2 z\}).

解答

尚未写出解答。

被以下引用

无。

无。