Vanessa Kosoy comments on Stuart_Armstrong’s Shortform

[Vanessa Kosoy]

This is a special case of a crisp infradistribution: $Q\left(A|B\right)=t$ is equivalent to $Q(A\cap B)=tQ\left(B\right)$, a linear equation in $Q$, so the set of all $Q$’s satisfying it is convex closed.

[Stuart_Armstrong]

Thanks! That’s useful to know.