https://remp3indir.net/python-set-remove-element/