yourdomain.com

Да, собссно, безадресно я ворчал и может быть зря, a Вы всё верно сделали ...
Наслушается зелёная молодёжь наших разговоров и начнёт менять что попало и как попало, слова пропускать и кванторы переставлять в определении, в котором по сути-то нет ничего лишнего.

B учебнике определение тоже такое c "наворотами", a в лекциях "упрощённое", но без формулировки, поэтому я и спросил.