EGAVE
realcompact
Meaning
adjective
Of a topological space, that can be embedded in a real line.
Save “realcompact” to learn later