Prefer a chat interface with context about you and your work?
Norm-closed intervals of norm-complete ordered abelian groups