Up
2.3.3 シェマ
記号列
φ
，φが，
《代入規則に従う代入によって，
φ
からφが導かれる》
という関係にあるとき，
φ
はφのシェマであると言う。