क्या संचालन उपसमुच्चय के तहत एक परिमित समुच्चय के सभी उपसमुच्चय की प्रणाली जाली बनाती है?
एक आंशिक रूप से क्रमबद्ध समूह एक बाध्य जाली है यदि और केवल तभी जब तत्वों के प्रत्येक सीमित समूह (खाली सेट सहित) में एक जोड़ और एक मिलावट होती है। एक स्थिति के प्रत्येक तत्व x के लिए यह तुच्छ रूप से सच है (यह एक खाली सच्चाई है) कि <unk> a ω ω: x ≤ a (\desplaystyle \forall a\in\varnothing: x\leq a) और ω a ω ω: a ≤ x (\desplaystyle\forall a\in\varnothing: a\leq x), और इसलिए एक स्थिति का प्रत्येक तत्व एक ऊपरी सीमा और खाली सेट की निचली सीमा दोनों है। इसका तात्पर्य है कि एक खाली सेट का जुड़ाव कम से कम तत्व है (यह एक खाली सेट का जोड़ है)।