@neauoire grothendiek is interesting. Open sets of a topoligical space.