Empirical distributions
When models have no dynamics, the states of agents are the same as the choices they make. We keep track of the population composition of agents by types, which are the same as the decisions they make, namely, the demography of the population of n agents according to their decisions. For this purpose we use the empirical distributions. We denote the set of states by 
2.3