整除性的定義