グラフ上の条件付き方向分離の二項関係としての特徴付け - Coqを用いた証明 -

グラフ上の条件付き方向分離は、条件付きアクティブ関係の補集合として特徴付けられる。