Definition: Local observable net

On a declared collection of regions, a local net assigns unital subalgebras

It is isotone if $I\subseteq J$ implies $\mathfrak{A}(I)\subseteq \mathfrak{A}(J)$. For a discrete support convention, local commutativity means

A spacetime version may instead impose this condition on spacelike separated regions.