algebra of sets

📌 مجموعه‌ای ناتهی از مجموعه‌ها با این ویژگی که اجتماع دو مجموعه از مجموعه، مجموعه‌ای از آن مجموعه است و متمم هر مجموعه از مجموعه، مجموعه‌ای در آن مجموعه است.