# Re: [tlaplus] Removing item taken from CHOOSE

• From: Alex Weisberger <alex.m.weisberger@xxxxxxxxx>
• Date: Mon, 1 Nov 2021 14:05:36 -0400
• Ironport-hdrordr: A9a23:rpWqqKn289diyPYg6PHN+rJeK3DpDfPjimdD5ihNYBxZY6Wkfp+V7YEmPE7P+UQssS8b6KO9EYGYWGjb6pJ5paIAVI3SIzUO2VHYYL2KiLGJ/9SOIVy3ygc279YfT0ETMqy4MbBV5fyKuzVRi70bsYW6GErBv5aC854Vd3AxV0gC1XYONu/4KDw8eOAcP+tgKHP03KMuzFrQGwVzH6DLYQhiLpGz36yx5eiWHG97O/M+0nj7sdrB0t/H+jejr04julh0sP0fGAb+4kHEz5Tmmfm96gKZ+WPUhq4m3efJ+59oDMutl/EvDHHXlx2lbIAJYczHgBkF5Mum71Y21OPQqwo7e+RfgkmhOV1dYiGA5yDQlBgrr0biyUWYkRLY0I/EbQN/Jc4Ev5tQdnLimgodVRNHvZ6jE1j3i3OfN32w7VWMlq/1fiAvrUawqWojluBWonpaWYsYAYUhzrD2kC5uYdE9NRO/0pkuFK1VBsfG6J9tABGnRkGcp3V1ztSwUjASM369Mwc/k/3QyiRMknhlww8DxN8S901wta4Vet1c+//LOrll0KxfV8N+V9MyONs8

set' = set \ {CHOOSE e \in set: TRUE}

Is that what you're looking for?

On Mon, Nov 1, 2021 at 1:56 PM thomas...@xxxxxxxxx <thomasgebert@xxxxxxxxx> wrote:

Hi,

I want to CHOOSE something out of a set.  I don't particularly care what that item is, but I would like the ability to remove it from the set after I have gotten it.