1-varyant super kengaytma funktori

Isbot. uzluksiz akslantirish berilgan bo‘lsin. bog‘lamli fazo bo‘lsin. Biz bu yerda akslantirishni syurektiv deb olishimiz mumkin, ya’ni ixtiyoriy nuqta uchun . Agar to‘plam ning ochiq va yopiq to‘plami bo‘lsa, u holda to‘plam ning ochiq va yopiq to‘plami bo‘ladi. Bu holda yoki , qolaversa, yoki bo‘lishi mumkin. Bu fazoning bog‘lamli ekanligini ko‘rsatadi.

Endi formula orqali aniqlangan akslantirishni olaylik, bu yerda ─ aylana. Bu akslantirish syurektiv va uzluksizdir. Bundan ko‘rinadiki, aylana bog‘lamlidir.