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