Deterministic Transition System

A transition system is deterministic if for all $c,c_1,c_2$: $c\to c_1\text{ and }c\to c_2\text{ implies }{c}_1=c_2$