Якщо об'єкт є|з'являється,являється| елементом множини|безлічі|, то говорять, що належить . Позначення . Інакше говорять, що не належить . Позначення .
Множина|безліч|, що не містить|утримує| елементів, називається порожньою|пустим|. Позначення: .
Щоб задати множину|безліч|, потрібно вказати, які елементи їй належать. Це можна зробити різними способами.
· Переліком|перерахуванням| елементів: .
· Характеристичним предикатом: .
· Процедурою, що породжує: .
При завданні|задаванні| множин|безлічі| переліком|перерахуванням| позначення елементів звичайно беруть у фігурні дужки і розділяють комами. Характеристичний предикат (від латинського praedicatum) – це деяка умова, виражена|виказана,висловлена| у формі логічного твердження|затвердження|, що повертає логічне значення. Якщо для даного елементу умова виконана, то він належить визначуваній множині|безлічі|, інакше – не належить. Процедура, що породжує, – це процедура, яка, будучи запущеною|занедбаною|, породжує деякі об'єкти, що є|з'являються,являються| елементами визначуваної множини|безлічі|.