Independence systems in gross-substitute valuations

Objects may exhibit substitutabilities, complementarities as well as independencies for agents. In this paper we show that under the Kelso–Crawfordgross substitutes condition, the sets of mutual independent objects form a matroid. Hence the structure of independent objects under the gross substitutes condition has much in common with the independence system of a graph or a vector space.