The purpose of this paper is to analyse the real-time trading of electricity. We address a model for an auction-like trading which captures key features of real-world electricity markets. Our main result establishes that, under certain conditions, the expected total payment for electricity is independent of the particular auction type. This result is analogous to the revenue-equivalence theorem known for classical auctions and could contribute to an improved understanding of different electricity market designs and their comparison.
