整数集Z关于整除关系“|”是格。