Формальные определения и их применение