О топологизируемости счётных нётеровых по уравнениям алгебр

Доказывается, что произвольная нётерова по уравнениям счётная алгебра $\mathcal A=\langle A,L_A\rangle$ счётного языка является топологизируемой. Кроме того, показывается, что отсюда вытекают некоторые известные утверждения о топологизируемости.