Definition of "matroid"