These classes represent states (vectors) in an event algebra.