Определение В.В.Петровского (БИН РАН)