A label-tagged finite interface

This comparison needs no spatial factorization of the interval algebra. It is not a construction of the process ${\Theta }_{\lambda }$. If only selected outcome effects satisfy the containment, only their outcome laws have that conclusion.