TRIZ. Standard form of the description of a task and methodical tools

An important problem in the algorithm of inventive problem solving is to develop a uniform method of formalization of the problem and methodological tools. For its successful solution is proposed to use the set-theoretic model of the text of the propositions.
The proposed interpretation of the text as a finite system of sets satisfies the axioms of a topological space, it is closed under the rules of inference and the operations of the algebra of sets [1]. Description of the problem, methodological tools and knowledge base in the form system of sets simplifies the creation of a uniform method of formalization in TRIZ.