формальное определение