Помогите разобраться с определением. Чем больше пытаюсь понять, тем сильнее запутываюсь.
Обозначения следующие:

- коммутативное кольцо с единицей,

- главное открытое множество (т.е. множество всех простых идеалов

не содержащих

),

- локализация по элементу

Обозначим наш пучок

и его слой в точке

через

Определение
Цитата:
Для всякого открытого множества

положим

равным множеству наборов

обладающих тем свойством, что существуют покрытие

главными открытыми множествами

и элементы

для которых

совпадает с образом

в

как только

Сначала я хотела бы понять: для каждого набора

свое покрытие и элементы или они фиксированы?