Invariance Properties of Maximal Extractable Value

We develop a formalism for reasoning about trading on decentralized exchanges on blockchains and a formulation of a particular form of MEV.