Рекурсивно заданное множество

Множество S включает в себя число 3, а также все разности a - b, если a и b принадлежат S.

Определите предикат inS(x), истинный, только если аргумент x принадлежит S.

function inS (x) { /*?*/ }