定義可能集合
タルスキ-ヴォートテストは与えられた構造の初等部分構造を特徴づけるために用いられる。