(* SEQUENTIAL COMPUTATION (MULTISTEP) ***************************************)
definition sreds: relation term ≝ star … sred.
(* SEQUENTIAL COMPUTATION (MULTISTEP) ***************************************)
definition sreds: relation term ≝ star … sred.