Another example is the distribution monad formula_95 on the category of sets. It is defined by sending a set formula_69 to the set of functions formula_97 with finite support and such that their sum is equal to formula_98. In set-builder notation, this is the setformula_99By inspection of the definitions, it can be shown that algebras over the distribution monad are equivalent to convex sets, i.e., sets equipped with operations formula_100 for formula_101 subject to axioms resembling the behavior of convex linear combinations formula_102 in Euclidean space.