This paper considers several approaches to and variants of descriptions of technological operations (TO) design, and a range of methods for formalization of these approaches and descriptions. The paper presents a mathematical interpretation of technological operations via base set (BS) elements, which includes revealing and defining the TO extrinsic properties and their intrinsic construction with the use of (X) parameters. The operations are divided (structured) in accordance with decomposition of a functional model properties, and then G-type criteria are formed which allows to describe the mapping relation of the TO subject and its transfer function FnM (TO) product, or by lexicographical means for approach to automated design etc.