см. формальная абстракция