多集是一个集合,每个成员可以有多个$\{1,3,3,9\}$是一个多集。让$\mathbb{K}$是所有多集的集合千美元$成员。(千美元$是一个固定常数)(此问题中的多集仅包含数字)。我们定义关系$\当前$在两个多集之间A,B美元$作为$A\preccurlyeq b美元$当且仅当存在元素的顺序类似于A和B$(a_1,a_2,a_3,…,a_k)$,$(b_1,b_2,b_3,…,b_n)$这样的话所有i\leq k;a_i\leq b_i$例如$\{1,3,3,9\}\preccurlyeq\{1,2,4,9\{$.证明这一点$(\mathbb{K},\preccurlyeq)$是一个格子。
我对这个问题的处理方法是:对于每两个多集,我们必须引入glb和lub。首先,对于每两个多集千美元$,我按递减顺序对成员进行排序。那么GLB就是具有$(最小值(a_1,b_1),最小值(a_k,b_k)$然后,对于LUB,我会不断对成员进行分类,而他是$(最大值(a'_1,b'_1),。。。最大值(a_k,b_k)$。我认为我的回答有道理,但我无法正式证明这一点。