# 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 14826: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0001`; number: 14826 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0001/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0001.json) ## Question 14827: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0002`; number: 14827 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0002/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0002.json) ## Question 14828: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0003`; number: 14828 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0003/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0003.json) ## Question 14829: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0004`; number: 14829 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0004/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0004.json) ## Question 14830: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0005`; number: 14830 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0005/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0005.json) ## Question 14831: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0006`; number: 14831 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0006/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0006.json) ## Question 14832: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0007`; number: 14832 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0007/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0007.json) ## Question 14833: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0008`; number: 14833 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0008/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0008.json) ## Question 14834: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0009`; number: 14834 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0009/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0009.json) ## Question 14835: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0010`; number: 14835 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0010/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0010.json) ## Question 14836: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0011`; number: 14836 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0011/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0011.json) ## Question 14837: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0012`; number: 14837 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0012/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0012.json) ## Question 14838: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0013`; number: 14838 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0013/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0013.json) ## Question 14839: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0014`; number: 14839 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0014/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0014.json) ## Question 14840: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0015`; number: 14840 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0015/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0015.json) ## Question 14841: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0016`; number: 14841 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0016/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0016.json) ## Question 14842: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0017`; number: 14842 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0017/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0017.json) ## Question 14843: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0018`; number: 14843 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0018/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0018.json) ## Question 14844: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0019`; number: 14844 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0019/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0019.json) ## Question 14845: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0020`; number: 14845 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0020/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0020.json) ## Question 14846: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0021`; number: 14846 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0021/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0021.json) ## Question 14847: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0022`; number: 14847 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0022/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0022.json) ## Question 14848: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0023`; number: 14848 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0023/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0023.json) ## Question 14849: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0024`; number: 14849 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0024/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0024.json) ## Question 14850: An Injection Certifies One Finite Cardinality Inequality - ID: `q-20261014-advance-20261030-r05-cardinality-comparison-0025`; number: 14850 - Processing: second_context_reviewed - MKO: [mko-cardinality-comparison](/en/mko/mko-cardinality-comparison/) - Family: [qf-mod30-cardinality-injection](/en/explore/?family=qf-mod30-cardinality-injection) - Batch: [batch-20261014-advance-20261030-r05-cardinality-comparison-foundations](/en/explore/?batch=batch-20261014-advance-20261030-r05-cardinality-comparison-foundations) - [Derivation](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0025/) / [Markdown](/en/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261030-r05-cardinality-comparison-0025.json)