Reference for "It is enough to specify a sheaf on a basis"? The wikipedia article on sheaves says:

It can be shown that to specify a sheaf, it is enough to specify its restriction to the open sets of a basis for the topology of the underlying space. Moreover, it can also be shown that it is enough to verify the sheaf axioms above relative to the open sets of a covering. Thus a sheaf can often be defined by giving its values on the open sets of a basis, and verifying the sheaf axioms relative to the basis.

However, it does not cite a specific reference for this statement. Does there exist a rigorous proof for this statement in the literature?

It is given in Daniel Perrin's Algebraic Geometry, Chapter 3,  Section 2. And by the way, it is a nice introductory text for algebraic geometry, which does not cover much scheme theory, but gives a definition of an abstract variety (using sheaves, like in Mumford's Red book).
Added: I just saw that Perrin leaves most of the details to the reader. For another proof, see Remark 2.6/Lemma 2.7 in Qing Liu's Algebraic Geometry and Arithmetic curves.
