到達不能,マーロ,弱マーロ, α-マーロ,greatlyマーロ,などであるといった性質は宇宙を内部モデルに置き換えるときには保存される。