>>656
すると、次は、同値関係、は?