blanketglossary

Cardinality

Definition

In mathematics, cardinality is an inherent property of sets, roughly meaning the number of individual objects they contain, which may be infinite. The concept is understood through one-to-one correspondences between sets. That is, if their objects can be paired such that each object has a pair, and no object is paired more than once.

Related concepts

0.999...A Treatise of Human Nature Abraham Fraenkel Absolute infinite Absoluteness (logic)Absorbing element Absorption law Abstract logic Academic Press Ackermann set theory Actual infinity Addison-Wesley Addition principle Akihiro Kanamori Aleph Aleph-nought Aleph number Aleph numbers Alfred North Whitehead Alfred Tarski Algebraic logic Algebraic number Algebraic numbers Almost Almost all Alphabet (formal languages)Alternative set theory American Mathematical Society Amorphous set Anaximander Antisymmetric relation Argument Aristotle Aristotle's wheel paradox Arity Associativity Atomic formula Atomic model (mathematical logic)Atomic sentence Automata theory Automated theorem proving Axiom Axiom of Choice Axiom of Determinacy Axiom of Infinity Axiom of Regularity Axiom of adjunction Axiom of choice Axiom of constructability Axiom of constructibility Axiom of countable choice Axiom of dependent choice Axiom of determinacy Axiom of extensionality Axiom of global choice Axiom of infinity Axiom of limitation of size Axiom of pairing Axiom of power set Axiom of projective determinacy Axiom of regularity Axiom of replacement Axiom of specification Axiom of union Axiom schema Axiom schema of replacement Axiom schema of specification Axiomatic system Axiomatization Axiomatization of Boolean algebras Axioms Azriel Lévy B. G. Teubner Banach–Tarski paradox Barnes & Noble Bernard Bolzano Bertrand Russell Bertrand Russell Peace Foundation Beth numbers Bijection Bijective Bijective function Bijective proof Binary number Binary operation Birkhäuser Boolean algebra Boolean algebras canonically defined Boolean function Brian Clegg (writer)Burali-Forti paradox By induction CRC Press Calkin–Wilf tree Cambridge University Press Cantor's Theorem Cantor's diagonal argument Cantor's first set theory article Cantor's paradox Cantor's theorem Cantor set Cardinal and Ordinal Numbers Cardinal arithmetic Cardinal directions Cardinal function Cardinal number Cardinal numbers Cardinal numbers (linguistics)Cardinal numeral Cardinal sins Cardinality (disambiguation)Cardinality of the continuum Carol Schumacher Cartesian product Categorical theory Category (mathematics)Category of sets Category theory Cauchy sequences Church encoding Church–Turing thesis Circumference Class (set theory)Classical logic Clifford A. Pickover Codomain Coefficient Combinatorial principles Combinatorics Commutativity Compactness theorem Complement (set theory)Complete theory Complex plane Composition of functions Computability theory Computable function Computable set Computably enumerable set Concentric circles Concrete category Connected relation Conservative extension Consistency Consistent Constable & Robinson Constructible universe Construction of the real numbers Constructive set theory Continuum (set theory)Continuum Hypothesis Continuum hypothesis Cooper Harold Langford Countable Countable set Counting Curly braces Currying D. Reidel Publishing Company D. Van Nostrand Company David Hilbert David Hume David J. Darling De Morgan's laws Decidability (logic)Decimal representation Decision problem Dedekind-finite Dedekind-infinite set Dedekind cut Deductive system Denumerable Descriptive set theory Determinacy Diagram (mathematical logic)Die Grundlagen der Arithmetik Dirk van Dalen Disjoint sets Disjoint union Distributivity Domain of a function Domain of discourse Donald A. Martin Dover Publications E. F. Robertson Edward N. Zalta Element (mathematics)Elementary diagram Elementary equivalence Elementary function arithmetic Empty function Empty set Encyclopaedia of Mathematics Enumeration Equiconsistency Equipollent (geometry)Equivalence classes Equivalence relation Ernst Zermelo Etymonline Euclid's Elements Euclidean geometry Euler's number Even number Existential quantification Exponentiation Expression (mathematics)Extension by definitions Extension by new constant and function names Extensionality Family of sets Felix Hausdorff Felix Klein Fields Medal Filter on a set Finitary relation Finite-valued logic Finite model theory Finite set Finite sets Finiteness First-order logic First uncountable ordinal Fixed-point logic Floor function Forcing (mathematics)Formal grammar Formal language Formal proof Formal semantics (logic)Formal system Formation rule Foundations of geometry Foundations of mathematics Fraction (mathematics)Fraktur (script)Free logic Free variables and bound variables Friedrich M. Hartogs Function (mathematics)Functional predicate Fuzzy set Gaisi Takeuti Galileo's paradox Galileo Galilei General set theory Generalized Continuum Hypothesis Georg Cantor George Boolos George Gamov George Gheverghese Joseph Giuseppe Peano God Gottlob Frege Graduate Texts in Mathematics Greek philosophers Grothendieck universe Ground expression Ground formula Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering Günter M. Ziegler Halting problem Hartogs number Harvard University Press Hebrew alphabet Heinz-Dieter Ebbinghaus Herbert Enderton Hereditarily finite set Hereditary set Higher-order logic Higher-order logics Hilbert's axioms Hilbert's hotel Hilbert's paradox of the Grand Hotel Hilbert's problems Hilbert curve Hilbert system History of logic History of mathematical logic Hume's principle Identity element Identity function Image (mathematics)Inaccessible cardinal Inaccessible cardinals Inclusion–exclusion principle Independence (mathematical logic)Indicator function Inequality (mathematics)Inference Infinitary combinatorics Infinite-valued logic Infinite set Infinite sets Infinity Information theory Inhabited set Injective Injective function Inner model Integer Integer lattice International Congress of Mathematicians Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Interval (mathematics)Inverse function Isomorphism Jacob Steiner Jahresbericht der Deutschen Mathematiker-Vereinigung Jaina mathematics Jakob Steiner Jersey numbers John Penn Mayberry John R. Steel John Wiley & Sons John von Neumann Karel Hrbáček Kazimierz Kuratowski Kluwer Academic Publishers Kolmogorov complexity Kripke's theory of truth Kripke–Platek set theory Kurt Gödel Kőnig's theorem (set theory)Lambda calculus Large cardinal Lebesgue measurable Lemma (mathematics)Lexicographically Limit cardinal Limit of a sequence Limit ordinal Limitation of size Lindström's theorem List of Hilbert systems List of axioms List of first-order theories List of formal systems List of large cardinal properties List of mathematical theories List of set identities and relations List of statements independent of ZFC Logic Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical disjunction Logical equality Logical equivalence Logical truth Logicism Löwenheim–Skolem theorem MacTutor History of Mathematics Archive Mahlo cardinal Many-valued logic Map (mathematics)Martin's axiom Martin Aigner Material conditional Mathematical Platonism Mathematical analysis Mathematical games Mathematical logic Mathematical object Mathematics Mathematische Annalen Measurable cardinal Measure (mathematics)Mechanics (Aristotle)Medieval Latin Metalanguage Michiel Hazewinkel Minimal axioms for Boolean algebra Model (mathematical logic)Model complete theory Model theory Monadic predicate calculus Monadic second-order logic Monotonicity Morse–Kelley set theory Multiplication principle Multiplicity (mathematics)Multiverse (set theory)NP (complexity)Naive set theory Natural deduction Natural density Natural number Natural numbers Negation New Foundations Nicolas Bourbaki Nominal number Non-Euclidean geometry Non-logical symbol Non-standard model Non-standard model of arithmetic North Holland Publishing Number Number line Numerosity (mathematics)One-to-one correspondence One Two Three... Infinity Open formula Open problem Operation (mathematics)Order isomorphic Order isomorphism Order type Ordered pair Ordered pairs Ordinal analysis Ordinal number Ordinal numbers Ordinal numbers (linguistics)Otto Blumenthal Oxford Academic Oxford English Dictionary Oxford University Press P (complexity)P versus NP problem Paradoxes of set theory Paradoxes of the Infinite Paris Partition of a set Patrick Suppes Paul Bernays Paul Cohen Paul Cohen (mathematician)Paul Halmos Paul Mahlo Peano axioms Peano curve Pearson Education Perfect set property Peter Koellner Philosophy of mathematics Pi Pigeonhole principle Pluralism (philosophy)Polynomial Post-Classical Latin language Posthumous publication Power set Powerset Predicate (logic)Predicate (mathematical logic)Predicate logic Predicate variable Prime model Primitive recursive arithmetic Primitive recursive function Princeton University Press Principia Mathematica Proceedings of the London Mathematical Society Projective geometry Proof by contradiction Proof of impossibility Proof theory Proofs from THE BOOK Proper classes Proper subset Property of Baire Proposition Propositional calculus Propositional formula Propositional variable Quantifier (logic)Quantifier rank Quotient Range of a function Rational numbers Real number Real numbers Recursion Recursive set Recursively Reflexive relation Regular cardinal Reinhardt cardinal Relation (mathematics)Representative (mathematics)Reverse mathematics Richard A. Brualdi Richard Dedekind Robinson arithmetic Rule of inference Russell's paradox Satisfiability Saturated model Schröder–Bernstein theorem Scott's trick Second-order arithmetic Second-order logic Self-verifying theories Semantic theory of truth Semantics of logic Sentence (mathematical logic)Sequences Sequent calculus Serial numbers Set-builder notation Set (mathematics)Set exponentiation Set of all sets Set theory Signature (logic)Singleton (mathematics)Skolem's paradox Skolem arithmetic Soundness Space-filling curve Space-filling curves Spectrum of a sentence Spectrum of a theory Springer-Verlag Springer Science+Business Media Square (algebra)Square number Square numbers Square of opposition Square root Square root of two Stanley Farlow Stephen Cole Kleene Strength (mathematical logic)String (formal languages)Structure (mathematical logic)Subcountability Subset Subsets Substitution (logic)Substructure (mathematics)Successor cardinal Supertask Surjective Surjective function Suslin's problem Syllogism Symbol (formal)Symmetric difference Symmetric relation Syntax (logic)T-schema Tangent function Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Taw Terence Tao Term (logic)Term logic Ternary numeral system The Higher Infinite The Macmillan Company The Math Book The Nature and Meaning of Numbers The Stanford Encyclopedia of Philosophy The Universal Book of Mathematics Theorem Theories of truth Theory (mathematical logic)Thomas Jech Thoralf Skolem Thought experiment Three-valued logic Timeline of mathematical logic Transcendental number Transfer principle Transfinite induction Transitive relation Transitive set True arithmetic Truth predicate Truth table Truth value Tuple Turing machine Two New Sciences Type (model theory)Type theory Ultrafilter (set theory)Ultrafilter on a set Ultraproduct Uncountable Uncountable set Undecidable problem Undergraduate Texts in Mathematics Uninterpreted function Union (set theory)Uniqueness quantification Unit interval Unit square Universal quantification Universal set Universe (mathematics)University of Notre Dame Press University of St Andrews Unprovable Urelement Validity (logic)Variable (mathematics)Venn diagram Vertical bar Von Neumann cardinal assignment Von Neumann hierarchy Von Neumann ordinal Von Neumann universe Von Neumann–Bernays–Gödel set theory W. D. Hart W. H. Freeman W. Hugh Woodin Wacław Sierpiński Walther von Dyck Well-formed formula Well-order Well-ordering theorem Wikidata Wiley & Sons Willard Van Orman Quine Zeno's paradoxes Zermelo set theory Zermelo–Fraenkel set theory Zermelo–Fraenkel set theory with the axiom of choice Zero to the power of zero Éditions Hermann Éléments de mathématique

149 concepts already in your glossary