Sostituzione fol - è possibile sostituire due variabili tra loro? eg $ theta = {x/y, y/x } $?

Question

Sia $ c = m (p, x, y) leftarrow m (q, x, z), m (r, z, y) $.

È possibile fare la seguente sostituzione?

$ D = c theta $ dove $ theta = {q/r, r/q } $ st $ d = m (p, x, y) leftarrow m (r, x, z), m (q , Z, y) $