条 整除 整除(divisible)是定义在Z上的二元关系： 设a,b∈Z,a≠0，ab台(3c∈Z)(b=a×c) alb读作“a整除b” 设a,b,c∈Z且a≠0，有： o(ab)A(alc)→al(b+c) oab→al(b×c) o(alb)A(blc)→alc整除