互いに素（たがいにそ、英:coprime）とは2つの整数が1と-1以外に共通の約数を持たない場合の2数の関係である。
これは2つの整数の最大公約数が1であることと同値である。