Ramana Kumar comments on Eight Definitions of Observability

[Ramana Kumar]

UPDATE: I was able to prove ${Assume}_{S_1}\left(C\right)\&{Assume}_{S_2}\left(C\right)\simeq {Assume}_{S_1\cup S_2}\left(C\right)$ in general whenever $S_1$ and $S_2$ are disjoint and both in $Obs\left(C\right)$, with help from Rohin Shah, following the “restrict attention to world $S_1\cup S_2$” approach I hinted at earlier.