theorem :: SCMPDS_4:5

for s being State of SCMPDS holds dom s = {(IC )} \/ SCM-Data-Loc