The complete finite dependency graph

Let a finite site set carry finite local matrix algebras. At each tick the complete channel is a product of channels on a prescribed partition into blocks, including every retained classical record register.

For a final set $Y$, define the backwards sets by