A non-empty collection B of subsets of S is the set of bases of a matroid on S if and only if it satisfies the following condition:

Return to the homepage.