# Re: [tlaplus] Removing item taken from CHOOSE

• From: "thomas...@xxxxxxxxx" <thomasgebert@xxxxxxxxx>
• Date: Mon, 1 Nov 2021 11:11:38 -0700 (PDT)
• Ironport-data: A9a23:KtU8v6sqTfv6YUSmcigOVzw+vefnVHJfMUV32f8akzHdYEJGY0x3m2UcCzqEO6uPMTGjLt9/O4i3/UIOsJDXm9dhQQRvrXxEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88sZ1GMrEsFC2FJ5Pljk/F3oPJ8D8sislkepKmULSdY3kpHFc+IMscoUsLd9AR0tYAbeeRWFvlVePa+6UzCXf9s9JGGjp8B5Gr9HuDiM/PVAYw5TTSUxzkUGj2zBH5BLpHTU24wuCRroN8RoZWTM6bpF21E/+wwvsjNj+luu6TnkwiR7fTOU2JjSMTVfXyxBdFoSM23+AwM/90hUV/0W3Y2YAsjowT7NrtGW/FPYWU8AgZewVcGjl6ILYF8rnMC1SAkv6z4mr6Tl3G6cowV3gdEqQ91d9aOzoRy9ExGRgCaReMg++52rWmUvIqjcMmRCXuFNpD5CgwlG6x4fEOGMifGc0m/+Rw0DYrjd1VBt7CY8NfbCF1KRXGeRxGfFYREpM32umy7kQT2RVM8AfQ/exr9zGGlEopxOK4aJyIKoHXUZ4AxgDFsj2T1nrfKRQ8GNy76DOgzmiKuO7qiXqjDdpWTKnQGuVChVSSwikUD0RTWwbr5/a+jUG6VpRULEl8x8bnloBqnGTDczU3d0TQTL+4Uh8gtx54FuQ77ESKzfOR7VvJQGcDSTFFZZots8peqfkCvrOWt4uBONCtmOT9pbGhGnO8ojS1NiwYInUFeDcfCwAC5rEPZakt2wnXQI8L/LGd17XI9PKZ/9xOhCc5gLoXgMER0Lij5hbMhDfESl3hJuIqzl2/Y19JJT+VqGJoi0JEJLQbATt9wF6lc2S8
• References: <3c62cdf2-6ed4-4d1f-ae25-529bc6616cben@googlegroups.com> <CAEPrOmK_+GU5Wn78xJEftQRK8tKWxQODuEiw4q+B5sk+OfdJMg@mail.gmail.com>

I don't think that would work because I need access to e later in this system.  Can I use e later if I do it that way?

On Monday, November 1, 2021 at 2:05:50 PM UTC-4 alex.m.w...@xxxxxxxxx wrote:
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 <thomas...@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.