Веллеман Определение пустого множества

[StepV]

Помогите, пожалуйста, понять смысл определения.
У Веллемана "Искусство доказательства " стр 41 дано такое определение для пустого множества:
$\varnothing=\{x\in \mathbb{Z}| x=x\}$
Логику определения не понимаю. Можно задать любой $x \in \mathbb{Z}$ и он подойдет. Т.е. по каким здесь правилам получается пустое множество?

[vego]

Опечатка - там должно стоять не равно. В русском издании этой книги вообще огромное количество опечаток.

[StepV]

vego в сообщении #1603627 писал(а):

Опечатка - там должно стоять не равно. В русском издании этой книги вообще огромное количество опечаток.

Спасибо! Да, с опечатками приходится бороться, число опечаток на 41 стр зашкаливает.