已知集合 A,BA,BA,B，集族 CCC。S∈C↔∀(a,b)∈S,a∈A∧b∈BS\in C \leftrightarrow \forall (a,b)\in S,a\in A \land b\in BS∈C↔∀(a,b)∈S,a∈A∧b∈B。 有 C1∈CC_1\in CC1∈C 满足 ∀(x,z),(y,z)∈C1,x≠y\forall (x,z),(y,z)\in C_1,x\neq y∀(x,z),(y,z)∈C1,x=y 且 ∀a∈A,∃(a,b)∈C1\forall a\in A,\exists (a,b)\in C_1∀a∈A,∃(a,b)∈C1。 有 C2∈CC_2\in CC2∈C 满足 ∀(z,x),(z,y)∈C2,x≠y\forall (z,x),(z,y)\in C_2,x\neq y∀(z,x),(z,y)∈C2,x=y 且 ∀b∈B,∃(a,b)∈C2\forall b\in B,\exists (a,b) \in C_2∀b∈B,∃(a,b)∈C2。 如何构造 C3∈CC_3\in CC3∈C，使得 ∀(x,y)∈C3,(z,w)∈C3,x≠z,w≠y\forall (x,y)\in C_3,(z,w)\in C_3,x\neq z,w\neq y∀(x,y)∈C3,(z,w)∈C3,x=z,w=y 且 ∀a∈A,∃(a,b)∈C3\forall a\in A,\exists (a,b)\in C_3∀a∈A,∃(a,b)∈C3 且 ∀b∈B,∃(a,b)∈C3\forall b\in B,\exists (a,b)\in C_3∀b∈B,∃(a,b)∈C3。
