...ist Algorithmus mit dieser Spezifikation
Ri+1 : = Ri∪ die folgenden Paare: ∀(s, t)∈CP(Ri) : wähle s'∈NfRi(s), t'∈NfRi(t) falls s'≠t' , ordne (s', t') bzgl. > A .