整数集Z关于整除关系“|”是格。
出自:西安交通大学---离散数学