This leads to the introduction of new kinds of abstract spaces—partially ordered linear spaces—and to their systematic use in functional analysis. The beginnings of a theory of partially ordered linear spaces are given in the works of L. V. Kantorovič in 1935-1937.