closed unbounded filter
پالایه بیکران بسته
ideal
ایده‌آل
finite intersection property
ویژگی اشتراک متناهی
closed set
مجموعه بسته
reduced product
حاصل‌ضرب کاهشی
پالایه
filter
فیلتر
خانواده ای از زیر مجموعه‌های یک مجموعه که اشتراک هر دو عضو خانواده نیز عضوی از خانواده باشد و هر زیرمجموعه‌ای از آن که شامل عضوی از خانواده است، یک عضو باشد.
principal filter
پالایه اصلی
توپولوژی
topology
normal filter
پالایه نرمال
fundamental theorem of ultraproduct
قضیه بنیادی فراضرب
combinatorial set theory
نظریه ترکیبیاتی مجموعه‌ها
ideal (set theory)
ایده‌آل (نظریه مجموعه‌ها)
deterministic linear system
دستگاه خطی قطعی
Frechet filter
پالایه فرشه
ultrafilter
فرا پالایه
ultraproducts of models
ابرضرب مدل‌ها
Stone representation theorem
قضیه نمایش استون
countably-complete filter
پالایه شماراکامل
ultrapower
فرا توان