Formalizing the Categorical-Terminological Apparatus of Internal Audit at the Trade Enterprises - A. O. Semenets (Business Inform, 2019)