集合の等号や等濃は同値関係になるのでしょうか?