>>792
a/b∈Z でも a ∈bZ でもいいと思うけどね
気持ち悪いってひともいるかもだけど証明の中で使うなら都合のいいこともあるだろう

>>798
1.1 mod 1= 0.1 みたいな使い方をしてたんじゃないかな
プログラミングをやってるひとには 1.1%1=0.1 って表記がわかりやすいから
個人的には x%1 の方がいいけど