Помогите, пожалуйста, понять смысл определения.
У Веллемана "Искусство доказательства " стр 41 дано такое определение для пустого множества:

Логику определения не понимаю. Можно задать любой

и он подойдет. Т.е. по каким здесь правилам получается пустое множество?