Buenas:
Es correcto esto que decís:
" ... si M modela Δ tiene que [poder] modelar Γ"
Esto significa que:
- Todo modelo de Δ es modelo de Γ
Lo que equivale a:
- M ⊧ Δ ⇒ M ⊧ Γ
Que a su vez es lo mismo que:
- M ∈ MOD(Δ) ⇒ M ∈ MOD(Γ)
Y de ahí surge la inclusión:
- MOD(Δ) ⊆ MOD(Γ)