負数に触れるのは中学からなので有理数で合ってる
約分倍分が同値類の考え方