Reversal, presentation independence, and observations

For an actual functional, $F^{\ast }$ denotes complex conjugation on real configurations. On the tensor domain define

This reversal-conjugation, rather than componentwise conjugation alone, is the appropriate domain operation for a partial-product involution.