Angabe der Zielumgebung

Die Pseudo-Operation, die zur Definition der Zielumgebung verwendet wird.

Die folgende Pseudooperation definiert die beabsichtigte Zielumgebung: