Sustitución de la gente: ¿es posible sustituir dos variables entre sí? por ejemplo, $ theta = {x/y, y/x } $?

Question

Deje $ C = M (P, X, Y) Leftarrow M (Q, X, Z), M (R, Z, Y) $.

¿Es posible hacer la siguiente sustitución?

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