シャドウバースの回答詳細

マジックオウルがスペクトラルウィザードの完全上位互換でないと仮定する。
仮定からカードバトルにおける力(集合P)でマジックオウル(以下集合O)の要素o＜スペクトラルウィザード(以下集合W)の要素wとなる部分集合O⊂Wがあればよい。

集合Pは集合Mと集合Jと集合Aの和集合なので
P=M∪J∪Aである。(①)

まずマナレシオ(集合M)を考える。
o：(2+2)÷2=2　w：(2+3)÷3=1.3
また、進化後はoが+2/+2、wが+1/+1なので集合Mにおいてo＞wである。(②)

次に仕事率(集合J)を考える。
2/2で相討ちとなり2/3ではとれる状況が出来る確率を10％とする。(1)
また超越とのマッチングの確率を20％とする(生き残ると除去スペルの対象となるため)。(2)
ここで　仕事率(J)=仕事(W)×時間(s)なので
※ここではターン数を時間(s)とする。
(1)(2)より
o=(0.9×1+0.1×0)×1=0.9　w=(0.9×1+0.1×1)×(1-0.2)=0.8
よってo＞wである(③)

また、能力(集合A)については能力が全く同じなので
o=wである。(④)

①②③④より集合Pにおいて(O⊂W)=Φである。
これは仮定と矛盾する。

よってマジックオウルはスペクトラルウィザードの完全上位互換である。


完全除去互換だと証明しちゃったな(すっとぼけ)