# 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 3/4.

## Question 20651: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0026`; number: 20651
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0026/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0026.json)

## Question 20652: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0027`; number: 20652
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0027/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0027.json)

## Question 20653: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0028`; number: 20653
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0028/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0028.json)

## Question 20654: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0029`; number: 20654
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0029/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0029.json)

## Question 20655: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0030`; number: 20655
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0030/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0030.json)

## Question 20656: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0031`; number: 20656
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0031/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0031.json)

## Question 20657: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0032`; number: 20657
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0032/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0032.json)

## Question 20658: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0033`; number: 20658
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0033/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0033.json)

## Question 20659: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0034`; number: 20659
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0034/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0034.json)

## Question 20660: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0035`; number: 20660
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0035/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0035.json)

## Question 20661: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0036`; number: 20661
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0036/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0036.json)

## Question 20662: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0037`; number: 20662
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0037/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0037.json)

## Question 20663: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0038`; number: 20663
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0038/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0038.json)

## Question 20664: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0039`; number: 20664
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0039/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0039.json)

## Question 20665: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0040`; number: 20665
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0040/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0040.json)

## Question 20666: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0041`; number: 20666
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0041/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0041.json)

## Question 20667: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0042`; number: 20667
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0042/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0042.json)

## Question 20668: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0043`; number: 20668
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0043/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0043.json)

## Question 20669: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0044`; number: 20669
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0044/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0044.json)

## Question 20670: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0045`; number: 20670
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0045/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0045.json)

## Question 20671: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0046`; number: 20671
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0046/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0046.json)

## Question 20672: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0047`; number: 20672
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0047/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0047.json)

## Question 20673: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0048`; number: 20673
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0048/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0048.json)

## Question 20674: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0049`; number: 20674
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0049/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0049.json)

## Question 20675: Generate All Unions Only after the Basis Axioms Pass

- ID: `q-20261014-advance-20261107-r03-topological-basis-0050`; number: 20675
- Processing: second_context_reviewed
- MKO: [mko-topological-basis](/en/mko/mko-topological-basis/)
- Family: [qf-mod38-topbasis-generated-topology](/en/explore/?family=qf-mod38-topbasis-generated-topology)
- Batch: [batch-20261014-advance-20261107-r03-topological-basis-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r03-topological-basis-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0050/) / [Markdown](/en/questions/q-20261014-advance-20261107-r03-topological-basis-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r03-topological-basis-0050.json)

[Next](/en/explore/index.md?mko=mko-topological-basis&page=4)