Множества можно задавать в математической нотации как
, где
— условие, которому должен удовлетворять каждый элемент множества.
Рассмотрим ситуацию, когда
имеет вид
. Например, зададим множество
, то есть множество чётных натуральных чисел.
Как в такой нотации различать два случая:
- есть множество некоторых чисел вида , то есть мы хотим сказать: «каждый элемент имеет вид », и при этом не обязательно в входят все чётные натуральные числа;
- есть множество всех чисел вида ?
Какой из этих случаев описывает исходная формула
и что в ней изменить, чтобы она описывала другой случай?