The matroid of a graphing

Graphings serve as limit objects for bounded-degree graphs. We define the “cycle matroid” of a graphing as a submodular setfunction, with values in [ 0 , 1 ] , which generalizes (up to normalization) the cycle matroid of finite graphs. We prove that for a Benjamini–Schramm convergent sequence of graphs, the total rank, normalized by the number of nodes, converges to the total rank of the limit graphing.