Covering

An I-indexed family of open sets \(U_i \subset U\) is said to cover \(U\) if the full diagram of the sets \(U_i\) and their and the inclusions of their pairwise intersections has colimit \(U\).