Matroid/Definition

Structure that captures the essence of a notion of 'independence' that generalizes linear independence in vector spaces.