В роботі проведено вивчення трьох понять типів збіжності послідовностей та їх взаємодії з топологічними властивостями частково упорядкованих множин. Це може дати можливість ввести поняття неперервності функції засобами, відмінними від традиційних, та побудувати новий клас моделей лямбда-числення.
Three notions of types of sequences convergence and their interconnection with topological properties of partially-ordered sets are investigated in the paper. This may give a possibility for defining the notion of continuity of functions by means distinguished from the traditional ones and for constructing a new class of models for the lambda-calculus.
