Bisimulation

A bisimulation between transition systems (pointed coalgebras) $(X,\zeta ,x_0)$ and $(X^{\prime },{\zeta }^{\prime },x_0^{\prime })$ is a relation $\mathcal{R}:X\to X^{\prime }$.