>>536
同値関係