توليد نسخة اكثر تعقيداً من هذه الجملة الاختيار المعتاد هو ان يكون 'I' لانهائي و 'U' ليحتوي على كل المجموعات الفرعية المحدودة ل'I'.
طبعاً، نسخة أكثر تعقيداً من الجملة هي "الخيار المعتاد هو أن تكون 'I' لانهائية و'U' تحتوي على جميع المجموعات الفرعية المحدودة لـ 'I'، وإلا فإن الفلتر فوقي هو الرئيسي، والمنتج فوقي هو متماثل لأحد العوامل".