# 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 32476: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0076`; number: 32476
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0076/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0076.json)

## Question 32477: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0077`; number: 32477
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0077/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0077.json)

## Question 32478: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0078`; number: 32478
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0078/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0078.json)

## Question 32479: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0079`; number: 32479
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0079/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0079.json)

## Question 32480: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0080`; number: 32480
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0080/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0080.json)

## Question 32481: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0081`; number: 32481
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0081/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0081.json)

## Question 32482: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0082`; number: 32482
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0082/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0082.json)

## Question 32483: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0083`; number: 32483
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0083/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0083.json)

## Question 32484: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0084`; number: 32484
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0084/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0084.json)

## Question 32485: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0085`; number: 32485
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0085/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0085.json)

## Question 32486: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0086`; number: 32486
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0086/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0086.json)

## Question 32487: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0087`; number: 32487
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0087/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0087.json)

## Question 32488: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0088`; number: 32488
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0088/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0088.json)

## Question 32489: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0089`; number: 32489
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0089/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0089.json)

## Question 32490: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0090`; number: 32490
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0090/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0090.json)

## Question 32491: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0091`; number: 32491
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0091/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0091.json)

## Question 32492: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0092`; number: 32492
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0092/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0092.json)

## Question 32493: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0093`; number: 32493
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0093/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0093.json)

## Question 32494: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0094`; number: 32494
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0094/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0094.json)

## Question 32495: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0095`; number: 32495
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0095/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0095.json)

## Question 32496: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0096`; number: 32496
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0096/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0096.json)

## Question 32497: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0097`; number: 32497
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0097/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0097.json)

## Question 32498: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0098`; number: 32498
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0098/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0098.json)

## Question 32499: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0099`; number: 32499
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0099/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0099.json)

## Question 32500: Injectivity after Domain Restriction

- ID: `q-20261004-advance-20261005-r01-injective-0100`; number: 32500
- Processing: second_context_reviewed
- MKO: [mko-injective](/en/mko/mko-injective/)
- Family: [qf-injective-restriction-property](/en/explore/?family=qf-injective-restriction-property)
- Batch: [batch-20261004-advance-20261005-r01-injective-foundations](/en/explore/?batch=batch-20261004-advance-20261005-r01-injective-foundations)
- [Derivation](/en/questions/q-20261004-advance-20261005-r01-injective-0100/) / [Markdown](/en/questions/q-20261004-advance-20261005-r01-injective-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261004-advance-20261005-r01-injective-0100.json)

