وتقول النظرية بشكلٍ واضح أن لكل فئة formula_1 مُجَدولة من المجموعات غير خالية يوجد فئة مُجَدولة formula_2 من العناصر مثل formula_3 لكل formula_4.
It states that for every indexed family formula_1 of nonempty sets there exists an indexed family formula_2 of elements such that formula_3 for every formula_4.