Ideals and their cut-downs are good bimodules. So, every ideal is B(S) for certain S.
Which S yield ideals? If B(S) is an ideal then for any orbit O, the set
must be of the type
where f is a non-increasing function.
Certain particular cases were studied by M. Lamoureux, using different methods.