T脫殊集

T脫殊集(T-generic set)一種特別的力迫條件集。

基本介紹

• 中文名：T脫殊集
• 外文名：T-generic set

.在模型論力迫中，設G是由丫。中一些原子語句或原子語句的否定組成的集合.當適合下列兩條件時，稱為一個T脫殊集(也稱T兼納集):

T脫殊集