Search the corpus

    Compact if and only if complete and totally bounded

    T-HH3YP