|
-
Ключові слова:
впорядковані множини, упорядочные множества ; лямбда-числення, лямбда-исчисление, lambda-calculus ; теорія множин, теория множеств
-
Анотація:
Стаття присвячена дослідженню спеціального поняття неперервності функції, яка діє на біповних частково впорядкованих множинах. Доводиться теорема про теоретико-порядкову характеризацію класу таких функцій, та наводяться деякі базові властивості цих функцій як наслідки з цієї характеризаційної теореми.
The paper is devoted to investigations of a special notion of continuity of a function acting on bicomplete partially ordered sets. The theorem providing with an order-theoretic characterization of the class of these functions is proved. Some basic properties of these functions are given as simple corollaries of this characterizing theorem.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 