# 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 7726: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0051`; number: 7726
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0051/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0051.json)

## Question 7727: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0052`; number: 7727
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0052/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0052.json)

## Question 7728: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0053`; number: 7728
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0053/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0053.json)

## Question 7729: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0054`; number: 7729
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0054/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0054.json)

## Question 7730: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0055`; number: 7730
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0055/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0055.json)

## Question 7731: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0056`; number: 7731
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0056/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0056.json)

## Question 7732: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0057`; number: 7732
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0057/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0057.json)

## Question 7733: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0058`; number: 7733
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0058/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0058.json)

## Question 7734: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0059`; number: 7734
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0059/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0059.json)

## Question 7735: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0060`; number: 7735
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0060/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0060.json)

## Question 7736: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0061`; number: 7736
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0061/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0061.json)

## Question 7737: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0062`; number: 7737
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0062/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0062.json)

## Question 7738: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0063`; number: 7738
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0063/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0063.json)

## Question 7739: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0064`; number: 7739
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0064/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0064.json)

## Question 7740: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0065`; number: 7740
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0065/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0065.json)

## Question 7741: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0066`; number: 7741
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0066/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0066.json)

## Question 7742: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0067`; number: 7742
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0067/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0067.json)

## Question 7743: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0068`; number: 7743
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0068/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0068.json)

## Question 7744: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0069`; number: 7744
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0069/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0069.json)

## Question 7745: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0070`; number: 7745
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0070/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0070.json)

## Question 7746: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0071`; number: 7746
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0071/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0071.json)

## Question 7747: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0072`; number: 7747
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0072/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0072.json)

## Question 7748: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0073`; number: 7748
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0073/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0073.json)

## Question 7749: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0074`; number: 7749
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0074/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0074.json)

## Question 7750: Source Deletion with Declared Codomain Kept

- ID: `q-20261012-advance-20261016-r07-surjective-0075`; number: 7750
- Processing: second_context_reviewed
- MKO: [mko-surjective](/en/mko/mko-surjective/)
- Family: [qf-density16-surj-delete-input-missing](/en/explore/?family=qf-density16-surj-delete-input-missing)
- Batch: [batch-20261012-advance-20261016-r07-surjective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r07-surjective-foundations)
- [Derivation](/en/questions/q-20261012-advance-20261016-r07-surjective-0075/) / [Markdown](/en/questions/q-20261012-advance-20261016-r07-surjective-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r07-surjective-0075.json)

[Next](/en/explore/index.md?batch=batch-20261012-advance-20261016-r07-surjective-foundations&page=3)
