Здравствуйте, Екатерина!
Как я понимаю, множество однозначных чисел -- это либо
либо
либо
В первом случае это множество целых однозначных чисел, во втором -- множество однозначных чисел из расширенного натурального ряда, в третьем -- множество натуральных однозначных чисел. Во всех случаях для чисел, принадлежащих множеству
предикат
принимает значение "истина". Поэтому ответ на вопрос задания положительный.
Об авторе:
Facta loquuntur.