realcompact (English, adj)
expansion: realcompact (not comparable)
Senses:
glosses: Of a topological space, that can be embedded in a real line.
tags: not-comparable
Forms: