有限集合 とその部分集合族 の組 がマトロイドになる例。 一番簡単なものは があるベクトル空間の有限部分集合、 が一次独立な部分集合の全体。 すると、マトロイドの定義における最初の二つは自明で、最後は が一次独立で のときに、 に含まれるベクトル で…