# 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 26801: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0001`; number: 26801
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0001/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0001.json)

## Question 26802: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0002`; number: 26802
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0002/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0002.json)

## Question 26803: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0003`; number: 26803
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0003/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0003.json)

## Question 26804: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0004`; number: 26804
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0004/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0004.json)

## Question 26805: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0005`; number: 26805
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0005/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0005.json)

## Question 26806: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0006`; number: 26806
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0006/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0006.json)

## Question 26807: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0007`; number: 26807
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0007/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0007.json)

## Question 26808: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0008`; number: 26808
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0008/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0008.json)

## Question 26809: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0009`; number: 26809
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0009/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0009.json)

## Question 26810: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0010`; number: 26810
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0010/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0010.json)

## Question 26811: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0011`; number: 26811
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0011/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0011.json)

## Question 26812: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0012`; number: 26812
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0012/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0012.json)

## Question 26813: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0013`; number: 26813
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0013/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0013.json)

## Question 26814: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0014`; number: 26814
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0014/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0014.json)

## Question 26815: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0015`; number: 26815
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0015/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0015.json)

## Question 26816: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0016`; number: 26816
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0016/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0016.json)

## Question 26817: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0017`; number: 26817
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0017/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0017.json)

## Question 26818: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0018`; number: 26818
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0018/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0018.json)

## Question 26819: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0019`; number: 26819
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0019/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0019.json)

## Question 26820: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0020`; number: 26820
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0020/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0020.json)

## Question 26821: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0021`; number: 26821
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0021/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0021.json)

## Question 26822: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0022`; number: 26822
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0022/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0022.json)

## Question 26823: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0023`; number: 26823
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0023/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0023.json)

## Question 26824: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0024`; number: 26824
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0024/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0024.json)

## Question 26825: A Total Surjection Has Complete Nonempty Fibers Partitioning the Source

- ID: `q-20261015-advance-20261117-r05-quotient-topology-0025`; number: 26825
- Processing: second_context_reviewed
- MKO: [mko-quotient-topology](/en/mko/mko-quotient-topology/)
- Family: [qf-mod48-quotient-fibers](/en/explore/?family=qf-mod48-quotient-fibers)
- Batch: [batch-20261015-advance-20261117-r05-quotient-topology-foundations](/en/explore/?batch=batch-20261015-advance-20261117-r05-quotient-topology-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0025/) / [Markdown](/en/questions/q-20261015-advance-20261117-r05-quotient-topology-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261117-r05-quotient-topology-0025.json)

