十分話はそれたと思うから本題に戻るけど、両方とも外部のエンティティである関数や論理式を内部のエンティティにうつすという操作だから、どちらもコード化と呼んでいて、どちらも関数適用だから違いがないって話だっけ？
どういう関数かというと、AからBへの関数全体B^Aとか論理式全体Fmlから対象言語の項全体Termにうつす関数だと言うのであってるのかな？
B^Aは普通は非可算でTermは定数を大量に追加してなければ可算だと思うんだけどいいんかいな