Теорія пучків: аксіома склеювання

Коло X розбите на 4 перекривні дуги U1–U4. На кожній визначена локальна функція. Якщо значення узгоджуються на перекриттях — вони склеюються в єдину глобальну функцію на всьому X. Якщо ні — глобального склеювання не існує.

СКЛЕЮВАННЯ
Дуги (локальні множини)
U1 · 0°–90°
U2 · 90°–180°
U3 · 180°–270°
U4 · 270°–360°
Перекриття
значення збігаються
конфлікт значень

Локальні значення

U4∩U1 (0°)
U1∩U2 (90°)
U2∩U3 (180°)
U3∩U4 (270°)