Кольцо Гротендика пар квазипроективных множеств

Определяется кольцо Гротендика пар комплексных квазипроективных множеств (состоящих из множества и подмножества). Описываются $\lambda$-структуры на этом кольце и степенная структура над ним. Показывается, что предполагаемая симметрическая степень проективной прямой с несколькими орбифолдными точками, описанная А. В. Фонаревым, соответствует симметрической степени этой прямой с набором отмеченных точек как пары множеств.