ഓപ്പറേഷൻ സബ്സെറ്റിന് കീഴിലുള്ള ഒരു പരിമിത സെറ്റിന്റെ എല്ലാ സബ്സെറ്റുകളുടെയും സിസ്റ്റം ഒരു ലാറ്റിസ് രൂപപ്പെടുത്തുന്നുണ്ടോ
ഓരോ പരിമിതമായ കൂട്ടം മൂലകങ്ങൾക്കും (ശൂന്യമായ സെറ്റ് ഉൾപ്പെടെ) ഒരു ജോയിൻ, ഒരു മീറ്റ് എന്നിവ ഉണ്ടെങ്കിൽ മാത്രം ഒരു ഭാഗികമായി ക്രമീകരിച്ച സെറ്റ് ഒരു ബൌണ്ടഡ് ലാറ്റിസ് ആണ്. ഒരു പൊസറ്റിന്റെ ഓരോ മൂലകത്തിനും x എന്നത് നിസ്സാരമായ സത്യമാണ് (ഇത് ശൂന്യമായ സത്യമാണ്), ഒരു ശൂന്യമായ സെറ്റിന്റെ ജോയിൻ ഏറ്റവും കുറഞ്ഞ ഘടകം ആണെന്ന് സൂചിപ്പിക്കുന്നു.