Definition: Labelled gate order

Let $G$ be a finite labelled collection of fixed channels on reserved interfaces, with supports $S_g\subseteq X$. A strict partial order $<$ is admissible if gates with intersecting supports are comparable. A legal execution is a linear extension.