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).

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

Set-Theory · Sets

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

tallaabo tallaabo

  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|.

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

Haddaad Dooro dhibaato, ama qoraal ama sawirkaaga. Talaab kasta, sawir, jawaabta qarsoon ilaa aad weydiiso.

Ku hay shaqadaada

A xisaab bilaash ah oo ku daray qoraalada waxbarasho kasta, diiwaanka waxa aad dhamaatay, dhibaatooyinka aad xal u tahay meel kaliya, iyo macallinka aad weydiisan kartaa oo ku saabsan bogga. Xisaabta oo keliya waa u furan yahay qof kasta, la diiwaan geliyey ama aan.

Ku soo biir Ku soo gal

Calaamadaha la isticmaalay halkan

Taab calaamad kasta oo loogu talagalay qeexidda buuxda, sawir, iyo waxa xarfaha oo dhan ka mid ah ka dhigan tahay.

Sida loo: 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|.

Su'aalaha dadku waydiiyaan

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.

In ka badan Set Theory & Logic

Relations, functions and equivalenceCardinality and infinityLogic and methods of proof