You're saying that Thor is a transitive property. I'm guessing that like XOR, it's an abbreviation of 'Therefore-Or', and is some kind of operator akin to the fuzzy logic Union operator.
If that's true, then we can use De Morgans' law to state that:
NOT(a THOR b) = NOT(a) THOR NOT(b)
This is true of a class of operators M, if any M(j) in the set obeys the commutative relationship:
a M(j) b = b M(j) a
and the distributive relationship:
a (M(j))^x b = (a M(j) b)^x
But if that's true, then we can write:
(M(j))^x = THOR^x
Or in other words, any operator that holds M(j) will possess the power of THOR.
Thanks! You just cleared up forty years of Marvel comic plots for me!