Definition 7.38.1. Let $\mathcal{C}$ be a site.

A family of points $\{ p_ i\} _{i\in I}$ is called

*conservative*if every map of sheaves $\phi : \mathcal{F} \to \mathcal{G}$ which is an isomorphism on all the fibres $\mathcal{F}_{p_ i} \to \mathcal{G}_{p_ i}$ is an isomorphism.We say that $\mathcal{C}$

*has enough points*if there exists a conservative family of points.

## Comments (4)

Comment #2175 by Kestutis Cesnavicius on

Comment #2204 by Johan on

Comment #3840 by Rene on

Comment #3933 by Johan on