单词 | conservative extension |
释义 | Word Frequency conservative extension(kənˈsɜːvətɪv ɪkˈstɛnʃən) noun a formal theory that includes among its theorems all the theorems of a given theory Word Frequency conservative extension logic See full dictionary entry for extension a. the class of entities to which a given word correctly applies: thus, the extension of satellite of Mars is the set containing only Deimos and Phobos Compare intension (sense 1a)b. a formal theory that includes among its theorems all the theorems of a given theory |
随便看 |
英语词典包含233703条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。