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