Hello community,

I have a conceptual modelling question - I will attempt to abstract away as much as the details as possible.

Assume, you have a set \mathcal{T}. I wish to define a prior on the subsets of \mathcal{T}. Then, my `paramater`

becomes `simplex[$2^|T|$] theta`

(size equalling the powerset of \mathcal{T}).

The way I want to define this prior is via `Bernoulli`

trials - for each element of \mathcal{T} perform a Bernoulli trial with success probability p and keep the ones that succeed.

What is a way to implement this distribution in STAN?