Digital state sets

A digital state set has a name and consists of a list of discrete states, sometimes called digital state strings. For example, we can define the digital state set Valve-state-set as containing the states OPEN and CLOSE.