Inhabited_set