blanketglossary

Venn diagram

Definition

A Venn diagram is a widely used diagram style that shows the logical relation between sets, popularized by John Venn (1834–1923) in the 1880s. The diagrams are used to teach elementary set theory, and to illustrate simple set relationships in probability, logic, statistics, linguistics and computer science. A Venn diagram uses simple closed curves on a plane to represent sets. The curves are often circles or ellipses.

Related concepts

16-cell A. K. Peters Abraham Fraenkel Abstract logic Ackermann set theory Addison-Wesley Aleph number Algebraic logic Almost Alphabet (formal languages)Alternative set theory American Mathematical Monthly Amorphous set Andrew Glassner Anthony William Fairbank Edwards Argument Argument map Arity Atomic formula Atomic model (mathematical logic)Atomic sentence Automata theory Automated theorem proving Axiom Axiom of adjunction Axiom of choice 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 union Axiom schema Axiom schema of replacement Axiom schema of specification Axiomatic system Axiomatization of Boolean algebras Banach–Tarski paradox Bayes' theorem Bernoulli distribution Bernoulli process Bernoulli trial Bertrand Russell Bijection Binary decision diagram Binary operation Binomial distribution Boole's inequality Boolean algebra Boolean algebras canonically defined Boolean function Boolean logic Borromean rings Branko Grünbaum Burali-Forti paradox Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinal number Cardinality Carla Savage Carroll's square (diagram)Carroll diagram Cartesian product Categorical theory Category (mathematics)Category of sets Category theory Charles L. Dodgson Charles Lutwidge Dodgson Charles Sanders Peirce Christian Weise Church encoding Church–Turing thesis Circle Clarence Irving Lewis Class (set theory)Classical logic Codomain Collectively exhaustive events Compactness theorem Complement (set theory)Complementary event Complete theory Computability theory Computable function Computable set Computably enumerable set Computer science Concrete category Conditional independence Conditional probability Conservative extension Consistency Constructible universe Construction of the real numbers Constructive set theory Continuous or discrete variable Continuum hypothesis Countable set Cut-the-knot David Wilson Henderson De Morgan's laws Decidability (logic)Decision problem Dedekind-infinite set Deductive system Determinism Deterministic system Diagram Diagram (mathematical logic)Disjoint union Domain of a function Dover Publications, Inc.Ebadollah S. Mahmoodian Element (mathematics)Elementary diagram Elementary equivalence Elementary event Elementary function arithmetic Ellipse Empty set Encyclopedia of Mathematics Enumeration Equiconsistency Equivalence relation Erhard Weigel Ernst Zermelo Euclid's Elements Euclidean geometry Euler diagram European Mathematical Society Event (probability theory)Existential graph Existential quantification Expected value Experiment (probability theory)Exponential distribution Expression (mathematics)Extension by definitions Extension by new constant and function names Extensionality Family of sets Filter on a set Finitary relation Finite-valued logic Finite model theory Finite set First-order logic Fixed-point logic Focal Press Forcing (mathematics)Formal grammar Formal language Formal logic Formal proof Formal semantics (logic)Formal system Formation rule Foundations of geometry Foundations of mathematics Frank Ruskey Free logic Free variables and bound variables Function (mathematics)Functional predicate Fuzzy set General set theory Georg Cantor Glyph Gonville and Caius College, Cambridge Gottfried Wilhelm Leibniz Gray code Greek alphabet Grothendieck universe Ground expression Ground formula Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering Halting problem Henry John Stephen Smith Hereditarily finite set Hereditary set Higher-order logic Hilbert's axioms Hilbert system History of logic History of mathematical logic Hypercube Ian Stewart (mathematician)Image (mathematics)Immanuel Kant Inaccessible cardinal Independence (mathematical logic)Independence (probability theory)Indeterminism Inference Infinite-valued logic Infinite set Information diagram Information theory Inhabited set Injective function Institute of Mathematics and its Applications Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Isomorphism Johann Sturm John Venn John von Neumann Johns Hopkins University Press Joint probability distribution Karnaugh map Kolmogorov complexity Kripke's theory of truth Kripke–Platek set theory Kurt Gödel Lambda calculus Large cardinal Latin alphabets Law of large numbers Law of total probability Lemma (mathematics)Leonhard Euler Letters to a German Princess Lindström's theorem Linguistics List of Hilbert systems List of axioms List of first-order theories List of formal systems List of logic symbols 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 Louis Couturat Löwenheim–Skolem theorem Macmillan (publisher)Many-valued logic Map (mathematics)Margaret Baron Marginal distribution Markov chain Marquand diagram Martin's axiom Material conditional Mathematical logic Mathematical object McMaster University Metalanguage Method of analytic tableaux Minimal axioms for Boolean algebra Model complete theory Model theory Monadic predicate calculus Monadic second-order logic Morse–Kelley set theory Mutual exclusivity NP (complexity)Naive set theory Natural deduction Negation New Foundations New Scientist New math Non-Euclidean geometry Non-logical symbol Non-standard model Non-standard model of arithmetic Normal distribution Notices of the AMS Octahedron Open formula Operation (mathematics)Ordered pair Ordinal analysis Ordinal number Outcome (probability)P (complexity)P versus NP problem Paradoxes of set theory Pareto distribution Partition of a set Paul Bernays Paul Cohen Peano axioms Philosophy of mathematics Poisson distribution Polygon Porphyrian tree Power set Predicate (mathematical logic)Predicate logic Predicate variable Prime model Prime number Primitive recursive arithmetic Primitive recursive function Principia Mathematica Probability Probability axioms Probability distribution Probability measure Probability space Probability theory Proceedings of the Cambridge Philosophical Society Proof net Proof of impossibility Proof theory Proposition Propositional calculus Propositional directed acyclic graph Propositional formula Propositional variable Quantifier (logic)Quantifier rank R-diagram Ralph Grimaldi Randolph diagram Random variable Random walk Randomness Realization (probability)Recursion Recursive set Relation (mathematics)Reverse mathematics Richard Dedekind Robinson arithmetic Rotational symmetry Rule of inference Russell's paradox Russian alphabet Sample space Satisfiability Saturated model Schematic Schröder–Bernstein theorem Second-order arithmetic Second-order logic Self-verifying theories Semantic theory of truth Semantics of logic Sentence (mathematical logic)Sentential decision diagram Sequent calculus Set-builder notation Set (mathematics)Set membership Set theory Signature (logic)Simplex Sine Singleton (mathematics)Skolem arithmetic Soundness Spectrum of a sentence Spectrum of a theory Springer-Verlag Square of opposition Stained-glass Stan Wagon Stanhope Demonstrator Statistics Stochastic process Strength (mathematical logic)String (formal languages)Structure (mathematical logic)Subset Substitution (logic)Substructure (mathematics)Sun-Joo Shin Supertask Surjective function Suslin's problem Syllogism Symbol (formal)Symmetric difference Syntax (logic)T-schema Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Taylor & Francis Teaching Philosophy Term (logic)Term logic Tesseract The Electronic Journal of Combinatorics The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science The Mathematical Association of America The Mathematical Gazette Theorem Theories of truth Theory (mathematical logic)Thomas Jech Thoralf Skolem Three-valued logic Three circles model Timeline of mathematical logic Topological equivalence Transfer principle Transfinite induction Transitive set Tree diagram (probability theory)Triquetra True arithmetic Truth predicate Truth table Truth value Tuple Turing machine Type (model theory)Type theory Ultrafilter (set theory)Ultrafilter on a set Ultraproduct Uncountable set Undecidable problem Uninterpreted function Union (set theory)Uniqueness quantification Universal quantification Universal set Universe (mathematics)University of California Press UpSet plot Urelement Validity (logic)Variable (mathematics)Variance Veitch chart Venn diagram Vesica piscis Von Neumann universe Von Neumann–Bernays–Gödel set theory W. H. Freeman Well-formed formula Willard Van Orman Quine Wood Zermelo set theory Zermelo–Fraenkel set theory

152 concepts already in your glossary