> V_0 の入り方が異なります。

任意のv∈V_0に対し、宇宙の公理からv∈V_1やv∈Vが従うので、V_0⊂V_1⊂V
「入り方」としてはそれを考えているのでcompatibleなのではないでしょうか？