Por ejemplo, asignando a cada conjunto abierto "U" el álgebra asociativa de las funciones reales sobre "U", se obtiene un pre-haz de álgebras sobre "X".