 For any measurable finite partition of "S", denoted formula_34,

where formula_37 denotes the Dirichlet distribution and the notation formula_38 means that the random variable formula_39 has the distribution formula_40.There are several equivalent views of the Dirichlet process.Besides the formal definition above, the Dirichlet process can be defined implicitly through de Finetti's theorem as described in the first section; this is often called the Chinese restaurant process.