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