Предба́за тополо́гии, семейство $\mathcal{P}$ открытых подмножеств топологического пространства $X$, такое, что всевозможные конечные пересечения элементов семейства $\mathcal{P}$ образуют базу топологии пространства $X$.

Если $\mathcal{P}$ – предбаза топологии пространства $X$, то семейство $\mathcal{O}$ всех открытых множеств пространства $X$ является топологией, порождённой семейством $\mathcal{P}$, т. е. наименьшей (слабейшей) топологией на множестве $X$, содержащей семейство $\mathcal{P}$. Часто в определении предбазы $\mathcal{P}$ к конечным пересечениям относят и пересечение пустого семейства элементов из $\mathcal{P}$, принимая соглашение о том, что оно совпадает со всем пространством $X$. При таком соглашении верно и обратное: если топология $\mathcal{O}$ открытых множеств пространства $X$ порождена некоторым семейством $\mathcal{P}\subset\mathcal{O}$, то $\mathcal{P}$ является предбазой этой топологии.