A system state, or simply state, is a function $s\colon L \to V$ from the set of labels $L$ to the set of values $V$