text: Если граф G содержит луч, полубесконечный простой путь, имеющий начальную вершину, но не имеющий конечной вершины, то он имеет укрытие порядка ℵ0, то есть функцию β, которая отображает каждое конечное множество X вершин в X-борт, удовлетворяющую условиям укрытий.