جبر مجموعهها
From Wikipedia, the free encyclopedia
جبر مجموعهها خواص و قوانین مجموعه، تقاطع و متمم و روابط برابری و شمول مجموعهها را بیان میکند. همچنین روشی اصولی برای ارزیابی عبارات و انجام محاسبات شامل این عملیات و روابط فراهم میکند. هر مجموعهای تحت عملیات نظریه مجموعهها یک جبر بولی را تشکیل میدهد. (عملگر همان اجتماع، عملگر همان اشتراک و عملگر متمم بیانگر متمم مجموعه است)