Definition: Admissible labelled gate order

A finite collection of fixed labelled channels has declared supports $S_g\subseteq X$. A strict partial order is admissible if channels with intersecting supports are comparable. A legal execution is a linear extension of this order.