4 . 设，是非空集合，定义二元有序对集合为和的笛卡尔积.若，则称是到的一个关系.当时，则称与是相关的，记作.已知非空集合上的关系是的一个子集，若满足，有，则称是自反的：若，有，则，则称是对称的；若，有，，则，则称是传递的.且同时满足以上三种关系时，则称是集合中的一个等价关系，记作~.
(1)设，，，，求集合与；
(2)设是非空有限集合中的一个等价关系，记中的子集为的等价类，求证：存在有限个元素，使得，且对任意，；
(3)已知数列是公差为1的等差数列，其中，，数列满足，其中，前项和为.若给出上的两个关系和，请求出关系，判断是否为上的等价关系.如果不是，请说明你的理由；如果是，请证明你的结论并请写出中所有等价类作为元素构成的商集合.