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

Formal description