相等
equality
同型
の特別な場合