Множину всіх об'єктів, які мають властивість (тобто твердження, істинність якого залежить від значення змінної x), він позначив , а саму властивість назвав характеристичною властивістю множини . Наївна теорія множин