たとえば、次のリレーションを入力したものとします。

リレーションを並べ替えると、評価する順序に基づいてリレーションの順序が変更されます。並べ替えられたリレーションは次のようになります。

連立方程式は１つのリレーションのように取り扱われ、１つの単位として移動します。この単位は個々の行が依存する全数量の総計で決まるものと考えます。連立方程式には、次の例のように、解決されない追加のリレーションも入れることができます。

連立方程式内で余分な行を並べ替えると、次のような結果になります。