设D是集合S上的整除关系,一下部分序集是否为格