Isn’t this the field with a “closed” “set”, an “open” “set”, oh and also a “clopen” “set” for some reason?