সেটের অ্যালজেব্রা
উইকিপিডিয়া, মুক্ত বিশ্বকোষ থেকে
একটি সেট যদি X হয়, তবে ওই সেটের অ্যালজেব্রা হলো X-এর পাওয়ার সেটের এমন একটি অশূন্য সাবসেট যা সেটের সংযোগ, ছেদ ও পূরক অপারেশনের অধীনে আবদ্ধ। অর্থাৎ, সেট X এর অ্যালজেব্রা Σ হলে:
- Σ অশূন্য: অন্তত একটি
হচ্ছে Σ এর সদস্য। - Σ সেট পূরকের অধীনে আবদ্ধ: যদি
হয়, তাহলে,
হবে। - Σ সেট সংযোগের অধীনে আবদ্ধ: যদি
হয়, তবে
হবে।
পূরক ও সংযোগের অধীনে আবদ্ধ হলেও খুব সহজেই বের করা যায় যে অ্যালজেব্রা সেট ছেদের অধীনেও আবদ্ধ, কেননা,
।
হচ্ছে Σ এর সদস্য।
হয়, তাহলে,
হবে।
হয়, তবে
হবে।