впорядковані множини, упорядочные множества ; лямбда-числення, лямбда-исчисление, lambda-calculus ; неперервність, непрерывность
У роботі досліджуються деякі властивості неперервних функцій з погляду вивчення можливостей, що дає нове визначення неперервності, яке нерівносильне відомим топологічним аналогам. Показується, що в загальному випадку класи неперервних функцій, у розумінні роботи, не є топологізовними, що веде до прикладу "неперервної", але нетопологізовної моделі лямбда-числення.
Certain properties of function continuity are investigated from the point of view of the research of possibilities of a new notion of continuity, which is not equivalent to known topological analogues. Classes of continuous functions in the sense of the paper are not topologized ones in general, which leads to an example of a "continuous", but not nоn- topologized model of the lambda-calculus.
