整徐関係の定義

整徐関係の定義
ある整数\(n\in\mathbb{Z}\)が存在し\(a=bn\)となるとき、この関係を整除関係といい\(b\mid a\)で表す。
すなわち、\(\exists n\in\mathbb{Z},a=bn\rightarrow b\mid a\)である。
言い換えると\(a\)が\(b\)で割り切れるまたは\(b\)は\(a\)の約数という関係である。
また\(\lnot\left(b\mid a\right)\Leftrightarrow b\nmid a\)で表す。