计算题 设个体域D是所有整数，令P（x，y，z）：xy=z；E（x，y）：x=y；C（x，y）：x>y。试将命题“若y=1，则对于任何x都有xy=x”符号化。

给完全图K4和K5的边着色。

问答题给完全图K₄和K₅的边着色。

设G是6阶无向简单图，证明G或它的补图中存在3个顶点彼此相邻。

问答题

设G是6阶无向简单图，证明G或它的补图中存在3个顶点彼此相邻。

非空集合A的基数为n，求集合A上的等价关系的数目．

问答题非空集合A的基数为n，求集合A上的等价关系的数目．