 Hahn embedding theorem

The Hahn embedding theorem is a result in functional analysis, particularly in the study of ordered vector spaces and topological vector spaces. It is named after the mathematician Hans Hahn. The theorem states that every ordered vector space can be embedded into a space of real-valued functions.