maths.free › Set Theory & Logic › Sets and operations

Sets and operations

Membership, subsets, union, intersection, complement, and Venn diagrams.

A set is a collection; the operations combine them: union (either), intersection (both), difference, complement. Picture it: a Venn diagram; each region is a combination of memberships. Think it: the operations satisfy the same laws as and/or/not, sets and logic are the same algebra (Boolean algebra).

Exemple résolu · {1,2,3,4} union {3,4,5,6}

{1,2,3,4} union {3,4,5,6}

Étape par étape

  1. A = \left\{1, 2, 3, 4\right\},\quad B = \left\{3, 4, 5, 6\right\}

    The two sets.

  2. A \cup B = \left\{1, 2, 3, 4, 5, 6\right\}

    Keep everything in either set.

  3. |A| = 4,\ |B| = 4,\ |A \cup B| = 6

    Cardinalities. Note |A ∪ B| = |A| + |B| − |A ∩ B|.

Révèle la réponse
A \cup B = \left\{1, 2, 3, 4, 5, 6\right\}

À vous Choisissez un problème, ou tapez ou dessinez le vôtre. Chaque étape, une image, la réponse cachée jusqu'à ce que vous le demandiez.

Conservez votre propre travail

Un compte gratuit ajoute des notes sur chaque leçon, un enregistrement de ce que vous avez terminé, vos problèmes résolus en un seul endroit, et un tuteur que vous pouvez demander sur cette page. Les maths eux-mêmes sont ouverts à tout le monde, signé ou non.

Inscription Connexion

Symboles utilisés ici

Appuyez sur n'importe quel symbole pour la définition complète, une image et ce que signifie chaque lettre.

Comment faire: Sets and operations

  1. Write each set explicitly, or describe it by a property.
  2. For a union keep everything in either; for an intersection only what is in both.
  3. Check |A ∪ B| = |A| + |B| − |A ∩ B|.

Questions posées par les gens

Are some infinities bigger than others?

Yes. The integers and the rationals can be listed; the real numbers cannot (Cantor's diagonal argument), so there are strictly more reals than integers.

What is the difference between a relation and a function?

A relation pairs inputs with outputs freely; a function is a relation in which every input gets exactly one output.

Plus en Set Theory & Logic