#4.16

stalk, direct limit. disjoint union modulo equivalence relation: x_i in F(Ui) and xj in F(Uj) are "equivalent" if there exists k bigger than i and j such that (through transition restriction map) their image in Uk are the same. (then [x_i]=[x_j]). In particular x equi to rho(x)