گردایه‌ای (collection) ناتهی از زیرمجموعه‌های مجموعه‌ای مفروض که نسبت‌ به اجتماع و اشتراک متناهی و مکمل‌گیری بسته باشد