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