زیر مجموعه
از ویکیپدیا، دانشنامهٔ آزاد.
مجموعه A را زیر مجوعه B گویند، هرگاه همه اعظای A عینناً در مجموعه B وجود داشته باشد و این مطلب را با نماد A⊆B نمایش میدهیم.
اگر مجموعه A زیر مجموعه B باشد وهم زمان مجموعه B نیز زیرمجموعه A باشد ، مجموعه های A و B با یکدیگر برابرند.