区間はマトロイドではない
https://gyazo.com/f90d51846e4c516c8d77ac53df739d68
区間の集合と「いくつかの区間をオーバーラップしないように選んだもの」の対は
マトロイド
ではない
XはYより小さいが、Yから1つを選んでXにオーバーラップしないように追加することができない
これはマトロイドの交換則に反している