Order Independence

The fixed-point reached in the computation is independent on the order in which rules are triggered.