4 ms·
Where does Q = { (S1 . T1) . (S2 . T2) : S1,S2,T1,T2 in Q } not work?
by srcreigh 4y ago
Where does Q = { (S1 . T1) . (S2 . T2) : S1,S2,T1,T2 in Q } not work?
- isaacg 4y agoThis definition fails because Q-bar needs to be a subset of Q, but in Q-bar, the graphs T1, S2, and T2 are specified to be the single-edge graphs e1, e2, e3. But single-edge graphs are not in Q.