Cтраница 4
Пусть также R - замыкание R относительно композиций. R есть направленное множество Композиция f и g всегда дает верхнюю границу для f и g, если эти функции монотонны и эмплиативны. [46]
Будем рассматривать направленное множество Л как категорию, объектами которой являются элементы множества Л, а множество морфизмов из К в ц состоит из единственного элемента, если А, ц, и пусто в противном случае. [47]
Пусть также R - замыкание R относительно композиций. R есть направленное множество Композиция f и g всегда дает верхнюю границу для f и g, если эти функции монотонны и эмплиативны. [48]
Направленное множество X, для которого такие последовательности г существуют, называется секвенцируемым. Функция / на секвенцируемом направленном множестве X называется секвенцируемой направленностью. Числовые и векторные функции на R при направлениях х а х оо х - ос се-квенцируемы. [49]