Cardinality comparison of sets
An injection, surjection or bijection between explicit finite source and target sets supplies a corresponding finite cardinality-comparison certificate.
atlas-cardinality-comparison · canonical_mko
Cardinality comparison of sets
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data