論理学で、概念が適用される事物に共通な性質の集合