Seien φ,ψ Mengen von Urpaaren:

φψ = { (x;z) | x ∈ V(φ), z ∈ N(ψ) ∃ y ∈ N(φ) ∩ V(φ) (x;y) ∈ φ ∧ (y;z) ∈ ψ}