разделенный предпучок

Мат. separated presheaf