mpty st n. 【数学・論理】 空(_くう)集合《要素を一つも含まない集合; どのような集合にも, 部分集合として含まれると考える》.