Что такое характеристическое свойство множества?

Множества бывают конечными и бесконечными. Например, множество всех школ города конечно, а множество вещественных чисел бесконечно.

Конечные множества можно задать перечислением элементов. Например, множество учеников класса записать в журнале. С бесконечными множествами так сделать уже нельзя.

Однако, чтобы задать множество, не обязательно перечислять его элементы. Можно указать свойство, на основе которого элементы объединены во множество. Так можно задавать как бесконечные, так и конечные множества. Признак, на основе которого элементы объединяются во множество, называется характеристическим свойством множества.

Общая формула записи множества в таком случае выглядит так:

A = {x | P(x)}

Это значит, что множество A состоит из тех элементов x, которые обладают свойством P. Примеры:

C = {r | 1 ≤ r ≤ 10, r ∈ N}

Здесь множество C состоит из целых чисел от 1 до 10.