互いに素
2つの整数の最大公約数が1
3つでも言えるらしい
$ (a,b) \in\Z\times\Z (b \neq 0, \gcd(a,b)=1)とかける
gcd
いや、書けてない
整数の話に限れば単に$ \gcd(a,b) = 1でよいのかしら