Definition: The relationship (p CHPS s) is used for the characterization of state, expressing that the state s is determined essentially by the property p.