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

200 results; page 6/8.

## Question 33426: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0001`; number: 33426
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0001/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0001.json)

## Question 33427: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0002`; number: 33427
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0002/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0002.json)

## Question 33428: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0003`; number: 33428
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0003/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0003.json)

## Question 33429: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0004`; number: 33429
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0004/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0004.json)

## Question 33430: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0005`; number: 33430
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0005/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0005.json)

## Question 33431: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0006`; number: 33431
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0006/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0006.json)

## Question 33432: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0007`; number: 33432
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0007/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0007.json)

## Question 33433: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0008`; number: 33433
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0008/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0008.json)

## Question 33434: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0009`; number: 33434
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0009/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0009.json)

## Question 33435: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0010`; number: 33435
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0010/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0010.json)

## Question 33436: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0011`; number: 33436
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0011/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0011.json)

## Question 33437: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0012`; number: 33437
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0012/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0012.json)

## Question 33438: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0013`; number: 33438
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0013/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0013.json)

## Question 33439: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0014`; number: 33439
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0014/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0014.json)

## Question 33440: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0015`; number: 33440
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0015/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0015.json)

## Question 33441: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0016`; number: 33441
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0016/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0016.json)

## Question 33442: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0017`; number: 33442
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0017/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0017.json)

## Question 33443: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0018`; number: 33443
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0018/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0018.json)

## Question 33444: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0019`; number: 33444
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0019/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0019.json)

## Question 33445: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0020`; number: 33445
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0020/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0020.json)

## Question 33446: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0021`; number: 33446
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0021/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0021.json)

## Question 33447: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0022`; number: 33447
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0022/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0022.json)

## Question 33448: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0023`; number: 33448
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0023/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0023.json)

## Question 33449: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0024`; number: 33449
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0024/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0024.json)

## Question 33450: Complement under a Complete Total-Map Preimage

- ID: `q-20261013-advance-20261025-r05-measurable-function-0025`; number: 33450
- Processing: second_context_reviewed
- MKO: [mko-measurable-function](/en/mko/mko-measurable-function/)
- Family: [qf-mod25-measdeep-preimage-complement-law](/en/explore/?family=qf-mod25-measdeep-preimage-complement-law)
- Batch: [batch-20261013-advance-20261025-r05-measurable-function-foundations](/en/explore/?batch=batch-20261013-advance-20261025-r05-measurable-function-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0025/) / [Markdown](/en/questions/q-20261013-advance-20261025-r05-measurable-function-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261025-r05-measurable-function-0025.json)

[Next](/en/explore/index.md?mko=mko-measurable-function&page=7)
