Another typical activity of a hermeneutician is to find out correspondences. Hence he has to be able to freely combine Denotators of various Forms. The corresponding Form-construction is called Product. The FrameSet of such a Product-Form is the cartesian product of the underlying AmbientSets. The Product is a free or “unlimited” case of the Limit-type. Intervals can be described as ordered pairs of TwelveTone-Denotators:

As third basic operation he needs the possibility to collect any Denotators of interest. The construction of Power-type Forms allows the denotation of Denotator collections. This construction avoids confusion between Forms and Denotators. The coordinator of a Form G of type Power can be any another Form F. Its FrameSet is supposed to be the power set of the AmbientSet of F: FS(G) = 2^AS(F). One may recursively collect Denotators in higher order Power-type Forms, e.g.:

Now we continue in our heuristics. The idealized hermeneutician is specialized to find interesting objects and correspondences between them and hence – in a purely descriptive mood – he is not interested in putting limitations on the Denotators themselves. He minimizes his denotative efforts to the necessary operations and is mainly involved in acts of predication. For the dogmatist it is typical that he transfers systematically occuring dependencies from the concrete to the formal level. Instead of observing dependencies between Denotators – as the hermeneutician does – he formulates dependencies between Forms. Dependencies between Forms are suitably described in terms of Form-Diagrams. Such a diagram consists of a directed graph , whose nodes are loaded with Forms and whose arrows are loaded with set-maps beween the AmbientSets of these Forms. The set-maps are the carriers of formal dependencies. The figure below shows a typical abstract graph consisting of three nodes and five arrows:

In order to complete this graph into a Form-Diagram D, consider three Forms F₁, F₂ and F₃. Let A₁ = AS(F₁), A₂ = AS(F₂) and A₃ = AS(F₃) be the corresponding AmbientSets. Consider further five set-maps: