设有代数系统U=,试证明:恒等关系是U上的同余关系.