text: Топологии Гротендика заменяют каждое U i {\displaystyle U_{i}} целым семейством открытых множеств; более точно, U i {\displaystyle U_{i}} заменяется семейством открытых вложений V i j → U i {\displaystyle V_{ij}\to U_{i}} .