Там нет определения :-)
Кстати, их несколько, совершенно разных по формулировке, но эквивалентных :-)