concept used in defining a Grothendieck topology; generalization of the collection of open subsets of an open set