A maximum principle for semicontinuous functions applicable to integro-partial differential equations

We formulate and prove a non-local maximum principle for semicontinuous functions in the setting of fully nonlinear and degenerate elliptic integro-partial differential equations with integro operators of second order. Similar results have been used implicitly by several researchers to obtain compare/uniqueness results for integro-partial differential equations, but proofs have so far been lacking.