2による剰余をとることは、写像