n. 【数学・論理】 真理集合《ある命題を真にするものの全体から成る集合; その命題が方程式や不等式の形で与えられていれば解の集合 (solution set) と一致する》.