L(M) 言語
from
L-構造
L(M) 言語
MはL(M)-構造とみなせる
https://gyazo.com/79f481f426e95741a4eee69996ca4aae
https://gyazo.com/e5dccbd29766777622df890a80dbf0c8
t: L(M)-閉項に対して t^M \in M 元を与えられる