С пустым множеством каюсь,не заметил.Но это,наверное, исключительный случай.Что касается определения "одного свойства",то под этим я понимаю простое(несоставное,без пропозициональных связок) высказывание о множестве.Само же характеристическое свойство является конъюнкцией двух высказываний.
т.е. определение множества

через высказывание

не является одним свойством? ведь тут конюънкция двух импликаций:

. Или же за свойство следует считать правую часть (

)?
В формализме ТМ вообще без связок можно написать только выражение

, в крайнем случае еще кванторы навесить. А выражения типа

уже являются сокращениями для более сложных, и как правило, тут даже конъюнкцией двух отношений принадлежности дело не ограничивается.