В теоретико-множественных представлениях множества, которые задаются путем указания некоторого характеристического свойства A, называются: