Категория множеств по Бэру - пересечение счётного числа открытых всюду плотных множеств.