Підмножина безлічі А (математичне), будь-яка безліч, кожен елемент якої належить А. Наприклад, безліч всіх парних чисел є П. безлічі всіх цілих чисел. Якщо до безлічі зарахувати «порожню» безліч, що зовсім не містить елементів, то, через визначення, його слід рахувати П. будь-якої іншої безлічі. Само безліч А і порожня безліч називаються інколи невласними П., останні же П. — власними. См.также Безлічі теорія .
