О замкнутых и открытых множествах в конструктивных топологических пространствах

Определяется понятие “конструктивное топологическое пространство". Топология в таком пространстве задается фундаментальными системами окрестностей точек. Определяются также понятия ‘`О-открытое множество", "О’-открытое множество”, “З-замкнутое” и “З'-замкнутое множество” в конструктивном топологическом пространстве и выясняются различия между этими понятиями. Строятся примеры, показывающие, что некоторые теоремы классической топологии о замкнутых и открытых множествах не переносятся в их дословной формулировке в конструктивную математику.
Библ. – 11 назв.