This essentially implies that the presheaf is a sheaf.

• 这实质上蕴含着预层是一个层。