The primitive set STATE represents the four states of purchasing detergents A, B, C, and D. We build one derived set, SXS, that is the cross of the STATE set on itself. The SXS set is used to establish the state transition matrix.