  Tensors and traceouts are generalised, so that systems can be partitioned
according to almost arbitrary logical predicates. One might have feared that
the familiar interrelations between the notions of unitarity, complete
positivity, trace-preservation, non-signalling causality, locality and
localizability that are standard in quantum theory be jeopardized as the
partitioning of systems becomes both logical and dynamical. Such interrelations
in fact carry through, although a new notion, consistency, becomes
instrumental.
