Abstract:An arithmetic graph function is a mapping associating to a finite group $G$ the graph whose vertices are the divisors of $|G|$. We formulate and study the problem of recognizing hereditary saturated formations by arithmetic graph functions, and solve it for some arithmetic graph functions.