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