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

Мат. formal definition