Title: Algebraic properties of simulation