надфільний
підформула
підфунктор