Orthogonal representations have been discussed in graph theory, for instance [1]}, [2]}. Note the biconditional in the definition, which is stronger than conditions for graph colouring. This allows us to uniquely define the graph associated with a function \(\phi \) .
