# 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 9751: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0051`; number: 9751
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0051/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0051.json)

## Question 9752: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0052`; number: 9752
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0052/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0052.json)

## Question 9753: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0053`; number: 9753
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0053/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0053.json)

## Question 9754: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0054`; number: 9754
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0054/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0054.json)

## Question 9755: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0055`; number: 9755
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0055/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0055.json)

## Question 9756: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0056`; number: 9756
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0056/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0056.json)

## Question 9757: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0057`; number: 9757
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0057/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0057.json)

## Question 9758: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0058`; number: 9758
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0058/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0058.json)

## Question 9759: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0059`; number: 9759
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0059/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0059.json)

## Question 9760: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0060`; number: 9760
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0060/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0060.json)

## Question 9761: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0061`; number: 9761
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0061/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0061.json)

## Question 9762: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0062`; number: 9762
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0062/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0062.json)

## Question 9763: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0063`; number: 9763
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0063/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0063.json)

## Question 9764: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0064`; number: 9764
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0064/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0064.json)

## Question 9765: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0065`; number: 9765
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0065/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0065.json)

## Question 9766: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0066`; number: 9766
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0066/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0066.json)

## Question 9767: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0067`; number: 9767
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0067/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0067.json)

## Question 9768: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0068`; number: 9768
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0068/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0068.json)

## Question 9769: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0069`; number: 9769
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0069/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0069.json)

## Question 9770: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0070`; number: 9770
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0070/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0070.json)

## Question 9771: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0071`; number: 9771
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0071/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0071.json)

## Question 9772: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0072`; number: 9772
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0072/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0072.json)

## Question 9773: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0073`; number: 9773
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0073/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0073.json)

## Question 9774: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0074`; number: 9774
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0074/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0074.json)

## Question 9775: Neighborhood Upward-Closure Guards

- ID: `q-20261013-advance-20261019-r02-neighborhood-0075`; number: 9775
- Processing: second_context_reviewed
- MKO: [mko-neighborhood](/en/mko/mko-neighborhood/)
- Family: [qf-ext19-neighborhood-upward-closure](/en/explore/?family=qf-ext19-neighborhood-upward-closure)
- Batch: [batch-20261013-advance-20261019-r02-neighborhood-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r02-neighborhood-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0075/) / [Markdown](/en/questions/q-20261013-advance-20261019-r02-neighborhood-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r02-neighborhood-0075.json)

