الجملة الأولى: الصيغة 11 ، حيث تقاطع كل المجموعات الفرعية العادية بيشتغل من المؤشر المحدود. الجملة التانية: الصيغة 11 ، حيث التقاطع بيجري عبر كل المجموعات الفرعية المحدودة للمؤشر العادي. سؤال: هل الجملة 1 والجملة 2 بتعبر عن نفس المعنى؟ نعم ولا لا؟