单词	deduction of the negation of a formula in a predicate calculus
释义
随便看	ηα-group ηα-set ηα群 ηα集 η单纯集 η封闭集 θ-continuous mapping θ-continuous set-valued mapping θ-function θ-lower semi-continuous set-valued mapping θ-open set θ-refinable space θ-upper semi-continuous set-valued mapping θ上半连续集值映射 θ下半连续集值映射 θ函数 θ函数 θ可加细空间 θ开集 θ级数 θ连续映射 θ连续集值映射 κ-chain condition κ-closed partial order κ-complete Boolean algebra

数学辞典收录了63749条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。