$a_{xy} = a_x + a_y – a_{\overline{xy}}$ という関係式が成立するための条件はどれか。

これは集合論における和集合の性質(包含排除の原理)と同様に、確率の定義から常に成立する。