# 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.

100 results; page 2/4.

## Question 20326: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0076`; number: 20326
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0076/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0076.json)

## Question 20327: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0077`; number: 20327
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0077/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0077.json)

## Question 20328: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0078`; number: 20328
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0078/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0078.json)

## Question 20329: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0079`; number: 20329
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0079/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0079.json)

## Question 20330: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0080`; number: 20330
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0080/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0080.json)

## Question 20331: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0081`; number: 20331
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0081/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0081.json)

## Question 20332: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0082`; number: 20332
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0082/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0082.json)

## Question 20333: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0083`; number: 20333
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0083/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0083.json)

## Question 20334: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0084`; number: 20334
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0084/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0084.json)

## Question 20335: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0085`; number: 20335
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0085/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0085.json)

## Question 20336: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0086`; number: 20336
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0086/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0086.json)

## Question 20337: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0087`; number: 20337
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0087/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0087.json)

## Question 20338: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0088`; number: 20338
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0088/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0088.json)

## Question 20339: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0089`; number: 20339
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0089/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0089.json)

## Question 20340: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0090`; number: 20340
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0090/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0090.json)

## Question 20341: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0091`; number: 20341
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0091/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0091.json)

## Question 20342: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0092`; number: 20342
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0092/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0092.json)

## Question 20343: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0093`; number: 20343
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0093/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0093.json)

## Question 20344: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0094`; number: 20344
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0094/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0094.json)

## Question 20345: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0095`; number: 20345
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0095/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0095.json)

## Question 20346: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0096`; number: 20346
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0096/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0096.json)

## Question 20347: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0097`; number: 20347
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0097/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0097.json)

## Question 20348: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0098`; number: 20348
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0098/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0098.json)

## Question 20349: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0099`; number: 20349
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0099/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0099.json)

## Question 20350: A Smaller Domain Does Not Generally Decide the Given Map Is Injective

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0100`; number: 20350
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-converse-boundary](/en/explore/?family=qf-mod38-pigeon-converse-boundary)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0100/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0100.json)

[Next](/en/explore/index.md?mko=mko-pigeonhole-principle&page=3)
