【正确答案】显然(K，|)(|表示整除)为偏序集．容易验证，对于任意a，b，c∈K，有
   GCD(a，b)∈K；LCM(a，b)∈K；a=110|a∈K，
   LCM(GCD(a，b)，c)=GCD(LCM(a，c)，LCM(b，c))，
   GCD(LCM(a，b)，c)=LCM(GCD(a，c)，GCD(b，c))，
   所以代数系统(K，GCD，LCM)是一个布尔代数．