# OCME ยท Knowledge & practice explorer 302 MKO / 1,441 families / 360 batches / 36,000 questions. 36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training. 25 results; page 1/1. ## Question 21626: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0076`; number: 21626 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0076/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0076.json) ## Question 21627: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0077`; number: 21627 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0077/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0077.json) ## Question 21628: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0078`; number: 21628 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0078/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0078.json) ## Question 21629: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0079`; number: 21629 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0079/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0079.json) ## Question 21630: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0080`; number: 21630 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0080/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0080.json) ## Question 21631: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0081`; number: 21631 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0081/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0081.json) ## Question 21632: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0082`; number: 21632 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0082/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0082.json) ## Question 21633: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0083`; number: 21633 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0083/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0083.json) ## Question 21634: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0084`; number: 21634 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0084/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0084.json) ## Question 21635: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0085`; number: 21635 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0085/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0085.json) ## Question 21636: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0086`; number: 21636 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0086/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0086.json) ## Question 21637: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0087`; number: 21637 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0087/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0087.json) ## Question 21638: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0088`; number: 21638 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0088/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0088.json) ## Question 21639: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0089`; number: 21639 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0089/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0089.json) ## Question 21640: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0090`; number: 21640 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0090/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0090.json) ## Question 21641: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0091`; number: 21641 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0091/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0091.json) ## Question 21642: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0092`; number: 21642 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0092/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0092.json) ## Question 21643: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0093`; number: 21643 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0093/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0093.json) ## Question 21644: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0094`; number: 21644 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0094/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0094.json) ## Question 21645: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0095`; number: 21645 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0095/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0095.json) ## Question 21646: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0096`; number: 21646 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0096/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0096.json) ## Question 21647: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0097`; number: 21647 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0097/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0097.json) ## Question 21648: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0098`; number: 21648 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0098/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0098.json) ## Question 21649: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0099`; number: 21649 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0099/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0099.json) ## Question 21650: Compactness Does Not Supply General Ambient Closedness or Boundedness - ID: `q-20261014-advance-20261109-r03-compact-subset-0100`; number: 21650 - Processing: second_context_reviewed - MKO: [mko-compact-subset](/en/mko/mko-compact-subset/) - Family: [qf-mod40-compact-nonproperty-boundary](/en/explore/?family=qf-mod40-compact-nonproperty-boundary) - Batch: [batch-20261014-advance-20261109-r03-compact-subset-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r03-compact-subset-foundations) - [Derivation](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0100/) / [Markdown](/en/questions/q-20261014-advance-20261109-r03-compact-subset-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r03-compact-subset-0100.json)