  We prove in a broad combinatorial setting, namely for finitely generated
semipositive cancellative reduced binoids, that the Hilbert-Kunz multiplicity
is a rational number independent of the characteristic.
