>>914,866

確かに、これが数学的定義とは限らないね。
”A probabilty function P is conglomerable with respect to a partition E1,E2, …
provided there is no event A and a real number a such that for all i
we have P(A|Ei)<=a and yet P(A) > a.”

まあ、俺はこれを一応数学的定義と解釈して、>863を書いたのだが。
実際のところ、conglomerableの数学的定義があるのかどうかもはっきりしない。

ただ、>863で筋が通っていると思ったので立場をはっきりさせるために書いた。
いずれにせよ、
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
∃A:Event,∃a∈R s.t. P(A|Ei)≦a(∀i) and P(A)＞a
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
が成立すればPがconglomerableだと言っているから、
これを定義にしても特に問題ないと思う。