realcompact

释义与例句

adj.
  1. 1.

    Of a topological space, that can be embedded in a real line.