ऑपरेशनच्या उपसंचांतर्गत मर्यादित संचातील सर्व उपसंचांची प्रणाली जाळी तयार करते का?
अंशतः क्रमबद्ध संच हा एक बद्ध जाळी आहे, जर आणि केवळ जर घटकांच्या प्रत्येक मर्यादित संचामध्ये (रिकाम्या संचासह) जोडणी आणि जुळणी असेल. एखाद्या स्थितीच्या प्रत्येक घटक x साठी हे क्षुल्लक सत्य आहे (हे एक रिक्त सत्य आहे) की, 'a': 'x ≤ a' ('डिस्प्लेस्टाईल': 'x') आणि 'a': 'a' ('डिस्प्लेस्टाईल'): 'a' x '(' a ') (' a ') (' a ') (' a ') (' a ') (' a ') (' a ') (' a ') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') (') ('