Математическое понимание характеристического свойства множества