Python For In Set Theory