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!