In mathematics, specifically in order theory and functional analysis, a sequence of positive elements in a preordered vector space (that is, for all ) is called order summable if exists in . For any , we say that a sequence of positive elements of is of type if there exists some and some sequence in such that for all .
The notion of order summable sequences is related to the completeness of the order topology.