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