system stateA system state, or simply state, is a function s:L→V from the set of labels L to the set of values V.