Comment by imglorp

On that note, I'm also unfamiliar with this \ operator notation which is used without explanation.

    X ← X \ {ai}