A formal definition of Minimal Cut Sequences for dynamic