>>613
とりあえず切断の定義と、切断の集合に入っている順序関係の定義の確認だな