convert keys in dictionary `thedict` into case insensitive,theset = set(k.lower() for k in thedict)