里斯空间

里斯空间是一类有序线性空间。如果半序线性空间E中任何两个元都有上、下确界，则称E是里斯空间。里斯空间是一类有序线性空间。