离散数学中什么样的格不是分配各