Et er et preknippe som i tillegg tilfredsstiller de følgende aksiomene Dersom {U} er en åpen dekning av og er slik at for alle , så har vi at . Hvis {U} er en åpen dekning av og s ∈ F(U) er slik at = , så eksisterer det en s ∈ F(U) slik at s = (s)i''.