Без заголовка

в свою очередь - любое множество может быть определено в виде функции — "принадлежит" :)