فرض کنید v∈{0,1}n و A⊆{0,1}n تعریف میکنیم که v≤A اگر و تنها اگر به ازای هر زیرمجموعهی k تایی از مولفهها، برداری مثل u∈A وجود داشته باشد که در آن مولفهها دقیقا مثل v باشد ونیز u≠v باشد.
یک مجموعهی A⊆{0,1}n را k-بسته مینامیم، در صورتی که به ازای هر v≤A داشته باشیم: v∈A