Об $f_A$-пространствах

Вводится понятие $f_A$-пространства — модификация понятия $f$-пространства, использующая нумерацию базиса $f$-элементов подмножеством произвольного допустимого множества $A$. Устанавливается декартова замкнутость категории полных $f_A$-пространств, доказано предложение о существовании наименьшей неподвижной точки у любого непрерывного отображения полного $f_A$-пространства в себя. Аналогичные результаты справедливы и для эффективной версии соответствующих понятий.