Az a függvény egy rekurzív függvény. n⁺ = n U {n}