离散数学关系部分错题

首先，跑跑题：补充几道简单集合题目，超简单的，看客们想跳过就跳过吧：回应某个人：
问题一：
化简下列集合表达式：
1. ((A $\cup$ B $\cup$ B) - (B $\cup$ C) ）$\cup$ A
解答：
则： 化简$((A \cup B \cup C) \cap \neg (B \cup C)) \cup A$
$\Leftrightarrow$ $(A \cup B \cup C) \cap (A \cup \neg(B \cup C)))$
$\Leftrightarrow$ $A \cup (( B \cup C) \cap (\neg(B \cup C)))$
$\Leftrightarrow$ $A$
问题二：
A = {x} $\cup$ x , 则 ， x $\in$ A , 且x $\subseteq$ A
对的哦，真值为1

看客们，现在我们看看关系部分，函数部分。
在放题目之前，我还想重新提到一个东西，因为，在作业时，想了很久都没有想出来，那就是
康托尔－伯恩斯坦－施罗德定理
康托尔-伯恩斯坦-施罗德(Cantor-Bernstein-Schroeder)定理 是集合论中的一个基本定理。该定理陈述说: 如果在集合 A 和 B 之间存在单射 f : A → B 和 g : B → A，则存在一个双射 h : A → B.依据这两个集合的势, 这意味着如果 |A| ≤ |B| 并且 |B| ≤ |A|，则 |A| = |B|, 即A与B等势. 显然, 这是在基数排序中非常有用的特征.
原版的证明在这里，借鉴网址：
dictionaire
证明的截图

好了现在放题目
关系部分
问题一：
设A = {a,b,c,d}
R₂={(a,d),(b,c), (b,d),(c,b)}
求$R_2^3$
解法：就是简单的使用关系矩阵，来计算$R_2^3$ ， 最后的结果为
$R_2^3$ = {(b,c), (b,d),(c,b)}
问题二：
对任意非空的集合A且P(A) - {$\emptyset$} 是A的非空集合族，P(A) - {$\emptyset$} 是否构成A的划分。
解答

• |A| = 1时， 假设A = {a}, 则， P(A) = {$\emptyset$ , {a}} , 显然构成划分。
• |A| > 1时， 举反例A = {a,b} , P(A) = {$\emptyset$ , {a} , {b} , {a,b}} ，显然不构成划分，所以错误。

即 |A| = 1时，构成划分，|A| > 1，不构成划分。
问题三：
设A = {a,b,c,d,e,f}, R是A上的二元关系，且定义为
R = {(a,b),(b,c),(c,a),(e,f),(f,e)}
则使得$R^s$ = $R^t$的最小自然数s,t是
则法一：
看成置换
R = (b,c,a)*(f,e)
则，显然最小为0与2*3 = 6。
法二：
利用关系矩阵，死算。

关系部分错题结束