Chapterبەش 4 · Lectureوانە 4.2

Set Notation and the Number Sets ℕ ℤ ℚ ℝ ℂهێماکانی کۆمەڵە و کۆمەڵەکانی ژمارە ℕ ℤ ℚ ℝ ℂ

Read, say and type the signs of sets: braces and ∈\in, set-builder notation with ∣\mid, :: or ;;, ⊆\subseteq ⊂\subset ⊇\supseteq and the two meanings of ⊂\subset, ∪\cup ∩\cap ∖\setminus, the three ways to write a complement, ∅\emptyset, ∣A∣|A|, A×BA \times B and P(A)\mathcal{P}(A); then the number sets N\mathbb{N} Z\mathbb{Z} Q\mathbb{Q} R\mathbb{R} C\mathbb{C} in blackboard bold and plain capitals, whether N\mathbb{N} starts at 0, and the same signs in Python.

بخوێنەوە، بیڵێ و بینووسە: کەوانەی لوول و ∈\in، بە ∣\mid، :: یان ;;، ⊆\subseteq ⊂\subset ⊇\supseteq و دوو واتاکەی ⊂\subset، ∪\cup ∩\cap ∖\setminus، سێ شێوەی نووسینی ، ∅\emptyset، ∣A∣|A|، A×BA \times B و P(A)\mathcal{P}(A)؛ پاشان ژمارە N\mathbb{N} Z\mathbb{Z} Q\mathbb{Q} R\mathbb{R} C\mathbb{C} بە پیتی دووهێڵی و پیتی سادە، ئایا N\mathbb{N} لە 0ـەوە دەست پێ دەکات، هەروەها هەمان نیشانەکان لە .

20 min read23 خولەک خوێندنەوە · 16 stepsهەنگاو

What you will learnچی فێر دەبیت

  • Read and say braces, ∈\in, ∉\notin and set-builder notation with ∣\mid, :: or ;; in English and in Kurdish.
  • Tell ⊆\subseteq, ⊂\subset, ⊊\subsetneq and ⊇\supseteq apart and find out which meaning of ⊂\subset a book uses.
  • Read ∪\cup, ∩\cap and ∖\setminus, and recognise the complement in its spellings AcA^{c}, A′A^{\prime} and A‾\overline{A}.
  • Tell ∅\emptyset, { }\{\,\}, {∅}\{\emptyset\} and {0}\{0\} apart and read ∣A∣|A|, n(A)n(A), A×BA \times B and P(A)\mathcal{P}(A).
  • Name N\mathbb{N}, Z\mathbb{Z}, Q\mathbb{Q}, R\mathbb{R} and C\mathbb{C} in blackboard bold and in plain capitals, and check whether a book’s N\mathbb{N} starts at 0.
  • Match the maths signs with Python’s set operators.
  • کەوانەی لوول، ∈\in، ∉\notin و بە ∣\mid، :: یان ;; بە ئینگلیزی و بە کوردی بخوێنیتەوە و بیڵێیت.
  • ⊆\subseteq، ⊂\subset، ⊊\subsetneq و ⊇\supseteq لێک جیا بکەیتەوە و بزانیت کتێبێک کام واتای ⊂\subset بەکار دەهێنێت.
  • ∪\cup، ∩\cap و ∖\setminus بخوێنیتەوە و بە شێوەکانی AcA^{c}، A′A^{\prime} و A‾\overline{A} بناسیتەوە.
  • ∅\emptyset، { }\{\,\}، {∅}\{\emptyset\} و {0}\{0\} لێک جیا بکەیتەوە و ∣A∣|A|، n(A)n(A)، A×BA \times B و P(A)\mathcal{P}(A) بخوێنیتەوە.
  • N\mathbb{N}، Z\mathbb{Z}، Q\mathbb{Q}، R\mathbb{R} و C\mathbb{C} بە پیتی دووهێڵی و بە پیتی سادە ناو بنێیت و بزانیت ئایا N\mathbb{N}ـی کتێبێک لە 0ـەوە دەست پێ دەکات.
  • بیرکاری لەگەڵ بەراورد بکەیت.

Braces and ∈\in: writing a setکەوانەی لوول و ∈\in: نووسینی کۆمەڵەیەک

A set is a collection of different objects, its elements. Books name a set with a capital letter and write its elements between braces, separated by commas: A={2,4,6,8}A = \{2, 4, 6, 8\}, read “A is the set two, four, six, eight”. The sign ∈\in says that something belongs to a set: 4∈A4 \in A, “4 is an element of A” or simply “4 is in A”. With a stroke through it, 5∉A5 \notin A, “5 is not an element of A”. Rules and examples: Writing sets and elements.

کۆمەڵێک شتی جیاوازە کە پێیان دەوترێت . کتێبەکان بە پیتێکی گەورە ناو دەنێن و لە نێوان کەوانەی لوولدا دەنووسن و بە کۆما لێکیان جیا دەکەنەوە: A={2,4,6,8}A = \{2, 4, 6, 8\}، دەخوێنرێتەوە «A 2، 4، 6 و 8ـە». نیشانەی ∈\in دەڵێت شتێک لە ناو : 4∈A4 \in A، «4 Aـیە» یان بە کورتی «4 لە Aـدایە». بە هێڵێکی لار بەسەریدا، 5∉A5 \notin A، «5 A نییە». یاسا و نموونەکان: نووسینی کۆمەڵەکان و ئەندامەکان.

A = {2, 4, 6, 8} in large type. Labels: A is the name, a capital letter; the braces open and close the set; 2, 4, 6 and 8 are the elements, separated by commas. Below, an oval A holds 2, 4, 6 and 8, and 5 stands outside it. Two boxes: 4 ∈ A, 4 is an element of A, “4 is in A”; 5 ∉ A, 5 is not an element of A.A = {2, 4, 6, 8} بە پیتی گەورە. ناونیشانەکان: A ناوەکەیە، پیتێکی گەورە؛ کەوانە لوولەکان سەرەتا و کۆتایی کۆمەڵەکەن؛ 2، 4، 6 و 8 ئەندامەکانن و بە کۆما جیا کراونەتەوە. لە خوارەوە بازنەیەکی درێژکراوەی A، 2، 4، 6 و 8ـی تێدایە و 5 لە دەرەوەیەتی. دوو سندووق: 4 ∈ A، 4 ئەندامێکی Aـیە؛ 5 ∉ A، 5 ئەندامی A نییە.
Read it: “A is the set two, four, six, eight”; 4 is in A, 5 is not.بیخوێنەوە: «A 2، 4، 6 و 8ـە»؛ 4 لە Aـدایە، 5 نا.CêIT
SignSay itخوێندنەوەType it (LaTeX)نووسین ⁦(LaTeX)⁩
{…}\{\ldots\}the set …; the signs are called braces« …»؛ بە نیشانەکان دەوترێت کەوانەی لوول (braces)\{ \}
x∈Ax \in Ax is an element of A; x is in A; x belongs to A«x Aـیە»، «x لە Aـدایە» (x is in A)\in
x∉Ax \notin Ax is not an element of A; x is not in A«x A نییە»، «x لە Aـدا نییە» (x is not in A)\notin

Set-builder notation: “the set of all x such that …”شێوەی وەسفیی کۆمەڵە: «کۆمەڵەی هەموو ئەو xـانەی کە …»

Why write a rule? Think of a class of 30 students and the group of those who are older than 20. If only four of them are, a list is quick: A={Ali,Sara,Karim,Dilan}A = \{\text{Ali}, \text{Sara}, \text{Karim}, \text{Dilan}\}. In a university with 500 such students, nobody wants to write 500 names. And a set that never ends, such as all the natural numbers above 5, can never be written out in full. So instead of naming the elements, you write the rule that decides which ones belong.

بۆچی یاسایەک بنووسین؟ پۆلێکی ⁦30⁩ خوێندکار بهێنە بەرچاوت و گرووپی ئەوانەی تەمەنیان لە ⁦20⁩ زیاترە. ئەگەر تەنیا چواریان وابن، لیستکردن خێرایە: A={Ali,Sara,Karim,Dilan}A = \{\text{Ali}, \text{Sara}, \text{Karim}, \text{Dilan}\}. لە زانکۆیەکدا کە ⁦500⁩ خوێندکاری لەو جۆرەی هەیە، کەس نایەوێت ⁦500⁩ ناو بنووسێت. کە هەرگیز کۆتایی نایەت، وەک هەموو سەرووی 5، هەرگیز بە تەواوی نانووسرێت. بۆیە لە جیاتی ناوهێنانی ، ئەو یاسایە دەنووسیت کە بڕیار دەدات کامیان دەچنە ناو .

Instead of a list, set-builder notation gives a rule: {x∈R∣x>0}\{x \in \mathbb{R} \mid x > 0\}. Read it from the left: “the set of all x in R such that x is greater than 0”, that is, every positive real number. Before the separator stand the variable and often where it comes from; after it stands the condition. The separator is a vertical bar ∣\mid, a colon :: or, in some handouts, a semicolon ;;. All three are read “such that”: {x∣x>0}\{x \mid x > 0\}, {x:x>0}\{x : x > 0\} and {x ; x>0}\{x\,;\,x > 0\} are one set (Two ways to write a set).

لە جیاتی لیستێک، یاسایەک دەدات: {x∈R∣x>0}\{x \in \mathbb{R} \mid x > 0\}. لە چەپەوە بیخوێنەوە: « هەموو ئەو xـانەی لە R\mathbb{R}ـدان، بە جۆرێک کە x گەورەترە لە 0»، واتە هەموو موجەب. پێش جیاکەرەوەکە دێت و زۆرجار ئەوەی لە کوێوە هاتووە؛ دوای ئەویش دێت. جیاکەرەوەکە هێڵێکی ستوونی ∣\mid، دوو خاڵ :: یان لە هەندێک مەلزەمەدا خاڵبۆر ;;ـە. هەر سێکیان «بە جۆرێک کە» دەخوێنرێنەوە: {x∣x>0}\{x \mid x > 0\}، {x:x>0}\{x : x > 0\} و {x ; x>0}\{x\,;\,x > 0\} یەک (دوو ڕێگا بۆ نووسینی کۆمەڵەیەک).

{x ∈ ℝ | x > 0} in large type. Labels: x is the variable; ∈ ℝ says where it comes from, the real numbers; the bar is read “such that”; x > 0 is the condition. Reading: “the set of all x in ℝ such that x > 0”. Below, the same set with the three separators: {x | x > 0} = {x : x > 0} = {x ; x > 0}.{x ∈ ℝ | x > 0} بە پیتی گەورە. ناونیشانەکان: x گۆڕاوەکەیە؛ ∈ ℝ دەڵێت لە کوێوە دێت، ژمارە ڕاستییەکان؛ هێڵەکە «بە جۆرێک کە» دەخوێنرێتەوە؛ x > 0 مەرجەکەیە. خوێندنەوە: «کۆمەڵەی هەموو ئەو xـانەی لە ℝـدان، بە جۆرێک کە x > 0». لە خوارەوە هەمان کۆمەڵە بە سێ جیاکەرەوەکە: {x | x > 0} = {x : x > 0} = {x ; x > 0}.
One rule, read left to right: variable, where it comes from, “such that”, condition.یەک یاسا، لە چەپەوە بۆ ڕاست: ، لە کوێوە دێت، «بە جۆرێک کە»، .CêIT

The same bar has other jobs. In P(A∣B)P(A \mid B) it means “given” (Statistics symbols), and a pair of bars measures or counts, as in ∣x∣|x| and ∣A∣|A| (Vertical bars with other jobs). Inside braces, right after a variable, one bar is always “such that”.

هەمان هێڵ کاری تریشی هەیە. لە P(A∣B)P(A \mid B)ـدا واتە «بە مەرجی» (هێماکانی ئامار)، جووتێک هێڵیش دەپێوێت یان دەژمێرێت، وەک لە ∣x∣|x| و ∣A∣|A|ـدا (هێڵی ستوونی بە کاری تر). لە ناو کەوانەی لوولدا و ڕاستەوخۆ دوای ، یەک هێڵ هەمیشە «بە جۆرێک کە»ـیە.

Set-builder notation: “the set of all x such that …”شێوەی وەسفیی کۆمەڵە: «کۆمەڵەی هەموو ئەو xـانەی کە …»

Reading {x∈N∣x>5}\{x \in \mathbb{N} \mid x > 5\} part by partخوێندنەوەی {x∈N∣x>5}\{x \in \mathbb{N} \mid x > 5\} بەش بە بەش

A={x∈N∣x>5}A = \{x \in \mathbb{N} \mid x > 5\}

A set with a name, given by a rule.

بە ناوێکەوە، کە بە یاسایەک دراوە.

PartبەشWhat it saysچی دەڵێت
AAthe name of the set, so that you can talk about it laterناوی ، بۆ ئەوەی دواتر باسی بکەیت
xxthe variable: any one element you test: هەر کە تاقی دەکەیتەوە
∈\in“is in”, “belongs to”«لە … دایە» (is in)
N\mathbb{N}where x is taken from: the natural numbersx لە کوێوە وەردەگیرێت:
∣\mid“such that”«بە جۆرێک کە» (such that)
x>5x > 5the condition: only the numbers that pass it are in A: تەنیا ئەو ژمارانەی تێیدا دەردەچن لە Aـدان

All together: “A is the set of all natural numbers x such that x is greater than 5.” Now test the numbers one at a time: 5 fails, because 5 is not greater than 5; 6 passes; 7 passes; and every larger number passes too. So A={6,7,8,9,10,… }A = \{6, 7, 8, 9, 10, \dots\}. One short rule holds infinitely many elements. It does not even matter whether N\mathbb{N} starts at 0 or at 1 (Does N start at 0 or at 1?): 0 and 1 both fail the condition.

هەمووی پێکەوە: «A هەموو ئەو xـانەیە کە لە N\mathbb{N}ـدان، بە جۆرێک کە x گەورەترە لە 5.» ئێستا ژمارەکان یەک بە یەک تاقی بکەرەوە: 5 دەرناچێت، چونکە 5 لە 5 گەورەتر نییە؛ 6 دەردەچێت؛ 7 دەردەچێت و هەموو ژمارەیەکی گەورەتریش دەردەچێت. بۆیە A={6,7,8,9,10,… }A = \{6, 7, 8, 9, 10, \dots\}. یەک یاسای کورت ژمارەیەکی بێکۆتا لە لەخۆ دەگرێت. تەنانەت گرنگ نییە N\mathbb{N} لە 0 دەست پێدەکات یان لە 1 (ئایا N\mathbb{N} لە 0 دەست پێدەکات یان لە 1؟): 0 و 1 هەردووکیان لە دەرناچن.

Set-builder notation: “the set of all x such that …”شێوەی وەسفیی کۆمەڵە: «کۆمەڵەی هەموو ئەو xـانەی کە …»

Not only numbers: the students older than 20تەنیا ژمارە نا: ئەو خوێندکارانەی تەمەنیان لە ⁦20⁩ زیاترە

The elements of a set can be anything: students, cities, books. Go back to the class: let SS be the set of its 30 students. The students who are older than 20 then make this set:

دەکرێت هەر شتێک بن: خوێندکار، شار، کتێب. بگەڕێوە بۆ پۆلەکە: با SS ⁦30⁩ خوێندکارەکەی بێت. ئینجا ئەو خوێندکارانەی تەمەنیان لە ⁦20⁩ زیاترە ئەم پێکدەهێنن:

A={x∈S∣age⁡(x)>20}A = \{x \in S \mid \operatorname{age}(x) > 20\}

Read it: “A is the set of all x in S such that the age of x is greater than 20.”

بیخوێنەوە: «A هەموو ئەو xـانەیە کە لە Sـدان، بە جۆرێک کە تەمەنی x لە ⁦20⁩ زیاترە.»

  • SS: where x is taken from, the 30 students of the class.
  • xx: any one student; the students are tested one at a time.
  • age⁡(x)\operatorname{age}(x): the age of student x. This is a function: it takes a student and gives back a number (Function notation).
  • age⁡(x)>20\operatorname{age}(x) > 20: the condition. Only the students who pass it are in A. A student who is exactly 20 is not in A, because 20 is not greater than 20.
  • SS: x لە کوێوە وەردەگیرێت، ⁦30⁩ خوێندکارەکەی پۆلەکە.
  • xx: هەر خوێندکارێک؛ خوێندکارەکان یەک بە یەک تاقی دەکرێنەوە.
  • age⁡(x)\operatorname{age}(x): تەمەنی خوێندکاری x. ئەمە : خوێندکارێک وەردەگرێت و ژمارەیەک دەداتەوە (نەخشە).
  • age⁡(x)>20\operatorname{age}(x) > 20: . تەنیا ئەو خوێندکارانەی تێیدا دەردەچن لە Aـدان. خوێندکارێک کە ڕێک ⁦20⁩ ساڵە لە Aـدا نییە، چونکە ⁦20⁩ لە ⁦20⁩ زیاتر نییە.
At the top: A = {x ∈ S | age(x) > 20}. A large box S, the students of the class, holds eight students with their ages. Ali 22, Sara 21, Karim 24 and Dilan 23 stand inside a green box A marked age(x) > 20. Shilan 19, Rebin 20, Hana 18 and Aram 19 stand outside it, under “20 or younger”. A note says Rebin is 20, not more than 20, so he is not in A. At the bottom: A = {Ali, Sara, Karim, Dilan}.لە سەرەوە: A = {x ∈ S | age(x) > 20}. سندوقێکی گەورەی S، خوێندکارانی پۆلەکە، هەشت خوێندکار و تەمەنەکانیان لەخۆ دەگرێت. Ali 22، Sara 21، Karim 24 و Dilan 23 لە ناو سندوقێکی سەوزی Aدان کە لەسەری نووسراوە تەمەن لە 20 زیاترە. Shilan 19، Rebin 20، Hana 18 و Aram 19 لە دەرەوەین، لە ژێر «20 ساڵ یان کەمتر». تێبینییەک دەڵێت Rebin 20 ساڵە، لە 20 زیاتر نییە، بۆیە لە Aدا نییە. لە خوارەوە: A = {Ali, Sara, Karim, Dilan}.
Each student is tested against the condition; only those who pass are in A.هەر خوێندکارێک بە تاقی دەکرێتەوە؛ تەنیا ئەوانەی دەردەچن لە Aـدان.CêIT

Some books write the age of student x as axa_x (“a sub x”), a letter with a subscript. Then the set is A={x∈S∣ax>20}A = \{x \in S \mid a_x > 20\}: the same set, written more briefly.

هەندێک کتێب تەمەنی خوێندکاری x بە axa_x دەنووسن (a sub x)، واتە پیتێک لەگەڵ . ئینجا دەبێتە A={x∈S∣ax>20}A = \{x \in S \mid a_x > 20\}: هەمان ، تەنیا کورتتر نووسراوە.

⊆\subseteq, ⊂\subset and ⊇\supseteq: inside and around⊆\subseteq، ⊂\subset و ⊇\supseteq: لە ناوەوە و لە دەوروبەر

A⊆BA \subseteq B says that every element of A is also in B: “A is a subset of B” or “A is contained in B”. Seen from the other side, B is a superset of A: B⊇AB \supseteq A, “B contains A”. A stroke denies it: A⊈BA \nsubseteq B, “A is not a subset of B”, as soon as one element of A is missing from B (Subsets). CêIT’s database lessons use ⊇ between kinds of keys: super key ⊇ candidate key ⊇ primary key (Database keys).

A⊆BA \subseteq B دەڵێت هەموو A لە Bـیشدا هەیە: «A Bـیە» یان «A لە ناو Bـدایە». لە لاکەی ترەوە، B Aـیە: B⊇AB \supseteq A، «B، Aـی لەخۆ گرتووە». هێڵێکی لار ڕەتی دەکاتەوە: A⊈BA \nsubseteq B، «A B نییە»، هەر کاتێک یەک A لە Bـدا نەبێت (ژێرکۆمەڵەکان). وانەکانی CêIT لە نێوان جۆرەکانی ⊇ بەکار دەهێنن: ⊇ ⊇ (کلیلەکانی بنکەدراوە).

Take care with ⊂\subset, the sign with no line under it. Many books, CêIT’s calculus lessons among them, use it for a proper subset, one smaller than B, so that ⊆\subseteq and ⊂\subset work like ≤\le and <<. Other books use ⊂\subset for any subset and write a proper subset ⊊\subsetneq. You may meet both habits in one course: A⊆BA \subseteq B on one page, N⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} on the next. Check the book’s list of symbols (Proper subsets).

ئاگاداری ⊂\subset بە، ئەو نیشانەیەی هێڵی لە ژێردا نییە. زۆر کتێب، لەوانە وانەکانی کالکولەسی CêIT، بۆ بەکاری دەهێنن، واتە کە لە B بچووکترە، بەم شێوەیە ⊆\subseteq و ⊂\subset وەک ≤\le و << کار دەکەن. هەندێک کتێبی تر ⊂\subset بۆ هەر بەکار دەهێنن و بە ⊊\subsetneq دەنووسن. لەوانەیە هەردوو نەریت لە یەک کۆرسدا ببینیت: A⊆BA \subseteq B لە پەڕەیەکدا و N⊂Z⊂Q⊂R\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} لە پەڕەی دواتردا. سەیری لیستی کتێبەکە بکە (ژێرکۆمەڵە ڕاست و پاکەکان).

Left: a small circle A inside a big circle B, with A ⊆ B, A is a subset of B. Two panels. Style 1: ⊆ subset, maybe equal; ⊂ proper subset, smaller than B; like ≤ and <. Style 2: ⊂ subset, maybe equal; ⊊ proper subset, smaller than B; here A ⊂ A is true. Bottom: which style? Check the book’s list of symbols.لای چەپ: بازنەیەکی بچووکی A لە ناو بازنەیەکی گەورەی B، لەگەڵ A ⊆ B، A ژێرکۆمەڵەی Bـیە. دوو بەش. شێوازی 1: ⊆ ژێرکۆمەڵە، لەوانەیە یەکسان بێت؛ ⊂ ژێرکۆمەڵەی ڕاست و پاک، لە B بچووکترە؛ وەک ≤ و <. شێوازی 2: ⊂ ژێرکۆمەڵە، لەوانەیە یەکسان بێت؛ ⊊ ژێرکۆمەڵەی ڕاست و پاک، لە B بچووکترە؛ لێرەدا A ⊂ A ڕاستە. خوارەوە: کام شێواز؟ سەیری لیستی هێماکانی کتێبەکە بکە.
Two habits for ⊂\subset: find out which one your book uses.دوو نەریت بۆ ⊂\subset: بزانە کتێبەکەت کامیان بەکار دەهێنێت.CêIT

∪\cup, ∩\cap and ∖\setminus: join, share, remove∪\cup، ∩\cap و ∖\setminus: پێکەوەنان، هاوبەشی، لابردن

Three signs make a new set from A and B. A∪BA \cup B, “A union B”, holds everything that is in A or in B or in both; the sign is open at the top like the U of union. A∩BA \cap B, “A intersect B” or “A intersection B”, holds what A and B share. A∖BA \setminus B, “A minus B” or “A without B”, holds what is in A but not in B; many books, and CêIT’s calculus lessons, write it A−BA - B. The order matters: A∖B≠B∖AA \setminus B \ne B \setminus A.

سێ نیشانە لە A و B نوێ دروست دەکەن. A∪BA \cup B، « A و B»، هەموو ئەو شتانەی تێدایە کە لە A یان لە B یان لە هەردووکیاندان؛ نیشانەکە لە سەرەوە کراوەیە وەک پیتی U لە وشەی union. A∩BA \cap B، « A و B»، ئەوەی تێدایە کە A و B تێیدا هاوبەشن. A∖BA \setminus B، «A کەم B» یان «A بەبێ B»، ئەوەی تێدایە کە لە Aـدایە و لە Bـدا نییە؛ زۆر کتێب و وانەکانی کالکولەسی CêIT بە A−BA - B دەینووسن. ڕیزبەندی گرنگە: A∖B≠B∖AA \setminus B \ne B \setminus A.

Four Venn diagrams, each inside a rectangle U. A ∪ B, A union B: both circles shaded, in A or in B. A ∩ B, A intersect B: only the overlap shaded, in A and in B. A ∖ B = A − B, A minus B: only the part of A outside B shaded. Aᶜ = A′ = Ā, the complement of A: everything outside circle A shaded, not in A.چوار هێڵکاریی ڤێن، هەریەکەیان لە ناو لاکێشەیەکی U. A ∪ B، یەکگرتنی A و B: هەردوو بازنەکە ڕەنگکراون، لە A یان لە Bـدا. A ∩ B، یەکتربڕینی A و B: تەنیا بەشە هاوبەشەکە ڕەنگکراوە، لە A و لە Bـدا. A ∖ B = A − B، A کەم B: تەنیا ئەو بەشەی A کە لە دەرەوەی Bـیە ڕەنگکراوە. Aᶜ = A′ = Ā، تەواوکەری A: هەموو شتێکی دەرەوەی بازنەی A ڕەنگکراوە، لە Aـدا نییە.
Each sign chooses regions of the same picture.هەر نیشانەیەک چەند ناوچەیەک لە هەمان وێنەدا هەڵدەبژێرێت.CêIT

In probability, where events are sets, ∪\cup is said “or” and ∩\cap “and” (Or, and, not). Every operation with worked examples: All the operations at a glance.

لە ، کە ، ∪\cup بە «یان» و ∩\cap بە «و» دەخوێنرێنەوە (یان، و، نا). هەموو بە نموونەی کارکراوەوە: هەموو کارەکانی کۆمەڵە بە یەک نیگا.

AcA^{c}, A′A^{\prime} and A‾\overline{A}: three ways to write “not in A”AcA^{c}، A′A^{\prime} و A‾\overline{A}: سێ شێوە بۆ نووسینی «لە Aـدا نییە»

The complement of A holds everything in the universal set U that is not in A. Books write it three ways: AcA^{c}, “A complement”, in CêIT’s calculus and probability lessons; A′A^{\prime}, “A prime”, in many statistics books; and A‾\overline{A}, “A bar”, in logic design, where it means NOT A. Some books also write ∁A\complement A. All are the same set, U∖AU \setminus A, and one handout may even switch between AcA^{c} and A′A^{\prime}.

A هەموو ئەو شتانەی U لەخۆ دەگرێت کە لە Aـدا نین. کتێبەکان بە سێ شێوە دەینووسن: AcA^{c}، « A»، لە وانەکانی کالکولەس و CêITـدا؛ A′A^{\prime}، «A پرایم»، لە زۆر کتێبی ؛ هەروەها A‾\overline{A}، «A بار»، لە دیزاینی ، کە واتای NOT A دەدات. هەندێک کتێبیش ∁A\complement A دەنووسن. هەموویان هەمان : U∖AU \setminus A. تەنانەت لەوانەیە یەک مەلزەمە لە نێوان AcA^{c} و A′A^{\prime}ـدا بگۆڕێت.

A rectangle U with a circle A; everything outside A is shaded: not in A. Three cards point at the shaded part: Aᶜ, “A complement”, calculus and probability; A′, “A prime”, many statistics books; Ā, “A bar”, NOT A, logic design. Bottom: = U ∖ A, everything in U that is not in A (some books write ∁A).لاکێشەیەکی U بە بازنەیەکی A؛ هەموو شتێکی دەرەوەی A ڕەنگکراوە: لە Aـدا نییە. سێ کارت ئاماژە بە بەشە ڕەنگکراوەکە دەکەن: Aᶜ، «تەواوکەری A»، کالکولەس و ئەگەر؛ A′، «A پرایم»، زۆر کتێبی ئامار؛ Ā، «A بار»، NOT A، دیزاینی لۆجیکی دیجیتاڵ. خوارەوە: = U ∖ A، هەموو ئەوەی لە Uـدایە و لە Aـدا نییە (هەندێک کتێب ∁A دەنووسن).
Three spellings, one set: U∖AU \setminus A.سێ شێوەی نووسین، یەک : U∖AU \setminus A.CêIT

The answer depends on U: with U={1,2,…,7}U = \{1, 2, \dots, 7\} and A={1,2,3}A = \{1, 2, 3\}, Ac={4,5,6,7}A^{c} = \{4, 5, 6, 7\} (Complement). When the whole is another set A and B⊆AB \subseteq A, “the complement of B in A” is A∖BA \setminus B, often still written BcB^{c}. Do not confuse the bar with the mean: over data, xˉ\bar{x} is an average (Marks on letters).

وەڵامەکە بە U بەستراوە: بە U={1,2,…,7}U = \{1, 2, \dots, 7\} و A={1,2,3}A = \{1, 2, 3\}، Ac={4,5,6,7}A^{c} = \{4, 5, 6, 7\} (تەواوکەر). کاتێک هەموو شتەکە ترە وەک A و B⊆AB \subseteq A، « B لە Aـدا» دەکاتە A∖BA \setminus B و زۆرجار هێشتا بە BcB^{c} دەنووسرێت. هێڵەکە لەگەڵ تێکەڵ مەکە: لەسەر داتا، xˉ\bar{x} (نیشانەکانی سەر پیت).

∅\emptyset and ∣A∣|A|: how many elements?∅\emptyset و ∣A∣|A|: چەند ئەندام؟

The empty set has no elements. It is written ∅\emptyset, read “the empty set” or “the null set”, or { }\{\,\}. Three look-alikes are not empty: {∅}\{\emptyset\} holds one element, an empty box inside a box; {0}\{0\} holds the number 0; and 0 itself is a number, not a set. The sign ∅\emptyset is neither the Greek letter φ nor the letter Ø of Danish and Norwegian, although André Weil modelled it on Ø in 1939 (The empty set).

هیچ تێدا نییە. بە ∅\emptyset دەنووسرێت و دەخوێنرێتەوە «»، یان بە { }\{\,\}. سێ لێکچوو بەتاڵ نین: {∅}\{\emptyset\} یەک تێدایە، سندووقێکی بەتاڵ لە ناو سندووقێکدا؛ {0}\{0\} ژمارە 0ـی تێدایە؛ خودی 0ـیش ژمارەیە، نەک . نیشانەی ∅\emptyset نە پیتی یۆنانیی φـیە و نە پیتی Øـی زمانی دانیمارکی و نەرویجی، هەرچەندە André Weil لە ساڵی ⁦1939⁩ـدا لە سەر شێوەی Ø دروستی کرد (کۆمەڵەی بەتاڵ).

Four cards. ∅: 0 elements, the empty set, |∅| = 0, empty. { }: 0 elements, another way to write ∅, empty. {∅}: 1 element, the empty set inside, |{∅}| = 1, not empty. {0}: 1 element, the number 0, |{0}| = 1, not empty. Bottom: ∅ (the empty set) ≠ φ (Greek phi) ≠ Ø (a letter of Danish and Norwegian).چوار کارت. ∅: 0 ئەندام، کۆمەڵەی بەتاڵ، |∅| = 0، بەتاڵە. { }: 0 ئەندام، شێوەیەکی تری ∅، بەتاڵە. {∅}: 1 ئەندام، کۆمەڵەی بەتاڵ لە ناویدا، |{∅}| = 1، بەتاڵ نییە. {0}: 1 ئەندام، ژمارە 0، |{0}| = 1، بەتاڵ نییە. خوارەوە: ∅ (کۆمەڵەی بەتاڵ) ≠ φ (فی، پیتی یۆنانی) ≠ Ø (پیتی دانیمارکی و نەرویجی).
Only ∅\emptyset and { }\{\,\} are empty.تەنیا ∅\emptyset و { }\{\,\} بەتاڵن.CêIT

The number of elements, the cardinality, is written ∣A∣|A| or n(A)n(A) (some books write #A\#A), read “the number of elements of A”. So ∣{2,4,6}∣=3|\{2, 4, 6\}| = 3, ∣∅∣=0|\emptyset| = 0 and ∣{∅}∣=1|\{\emptyset\}| = 1. Around a number the same bars mean a distance: ∣−7∣=7|-7| = 7 (Vertical bars with other jobs).

بە ∣A∣|A| یان n(A)n(A) دەنووسرێت (هەندێک کتێب #A\#A دەنووسن) و دەخوێنرێتەوە « A». کەواتە ∣{2,4,6}∣=3|\{2, 4, 6\}| = 3، ∣∅∣=0|\emptyset| = 0 و ∣{∅}∣=1|\{\emptyset\}| = 1. لە دەوری ژمارەیەکدا هەمان هێڵەکان واتای دووری دەدەن: ∣−7∣=7|-7| = 7 (هێڵی ستوونی بە کاری تر).

A×BA \times B and P(A)\mathcal{P}(A): sets made from setsA×BA \times B و P(A)\mathcal{P}(A): کۆمەڵەکان کە لە کۆمەڵەکانەوە دروست دەکرێن

A×BA \times B, “A cross B”, is the Cartesian product: every ordered pair (a,b)(a, b) with a from A and b from B. Pairs use round brackets and keep their order, (1,2)≠(2,1)(1, 2) \ne (2, 1); with A={1,2}A = \{1, 2\} and B={x,y,z}B = \{x, y, z\} there are 2×3=62 \times 3 = 6 pairs (Ordered pairs and the Cartesian product). The same (2,5)(2, 5) can also be a point on a graph or the open interval from 2 to 5 (One set, four ways); the subject tells you which.

A×BA \times B، « A و B» (A cross B)، هەموو (a,b)(a, b)ـە کە a لە A و b لە Bـەوە بێت. جووتەکان کەوانەی خڕ بەکار دەهێنن و ڕیزبەندییان دەپارێزن، (1,2)≠(2,1)(1, 2) \ne (2, 1)؛ بە A={1,2}A = \{1, 2\} و B={x,y,z}B = \{x, y, z\}، 2×3=62 \times 3 = 6 جووت هەیە (جووتە ڕێکخراوەکان و لێکدانی دیکارتی). هەمان (2,5)(2, 5) دەکرێت خاڵێک بێت لەسەر هێڵکارییەک، یان 2 تا 5 (یەک کۆمەڵە، چوار شێوە)؛ بابەتەکە پێت دەڵێت کامیانە.

Left: A × B, every ordered pair (a, b): a grid with rows 1 and 2 and columns x, y and z holding (1, x), (1, y), (1, z), (2, x), (2, y) and (2, z); A = {1, 2}, B = {x, y, z}; |A × B| = 2 × 3 = 6 pairs; order matters: (1, x) ≠ (x, 1). Right: 𝒫(A), every subset of A = {1, 2}: four boxes ∅, {1}, {2} and {1, 2}; |𝒫(A)| = 2² = 4 subsets; n elements → 2ⁿ subsets.چەپ: A × B، هەموو جووتە ڕێکخراوەکان (a, b): تۆڕێک بە ڕیزەکانی 1 و 2 و ستوونەکانی x، y و z کە (1, x)، (1, y)، (1, z)، (2, x)، (2, y) و (2, z)ـی تێدایە؛ A = {1, 2}، B = {x, y, z}؛ |A × B| = 2 × 3 = 6 جووت؛ ڕیزبەندی گرنگە: (1, x) ≠ (x, 1). ڕاست: 𝒫(A)، هەموو ژێرکۆمەڵەکانی A = {1, 2}: چوار سندووق ∅، {1}، {2} و {1, 2}؛ |𝒫(A)| = 2² = 4 ژێرکۆمەڵە؛ n ئەندام ← 2ⁿ ژێرکۆمەڵە.
Pairs from two sets; subsets of one set.جووت لە دوو ؛ لە یەک .CêIT

P(A)\mathcal{P}(A), “the power set of A”, is the set of all subsets of A, also written 2A2^{A}. For A={1,2}A = \{1, 2\}, P(A)={∅,{1},{2},{1,2}}\mathcal{P}(A) = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\}. A set with n elements has 2n2^{n} subsets, which explains the 2.

P(A)\mathcal{P}(A)، « A»، هەموو Aـیە، کە بە 2A2^{A}ـیش دەنووسرێت. بۆ A={1,2}A = \{1, 2\}، P(A)={∅,{1},{2},{1,2}}\mathcal{P}(A) = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\}. کە n هەبێت، 2n2^{n} هەیە، ئەمەش هۆی ئەو 2ـیەیە.

N\mathbb{N}, Z\mathbb{Z}, Q\mathbb{Q}, R\mathbb{R} and C\mathbb{C}: the number setsN\mathbb{N}، Z\mathbb{Z}، Q\mathbb{Q}، R\mathbb{R} و C\mathbb{C}: کۆمەڵەکانی ژمارە

Five letters name the families of numbers, and each family contains the one before it: N⊂Z⊂Q⊂R⊂C\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}. Say them as letters (“N”, “Z”, “Q”, “R”, “C”) or by their names in the table. The letters have reasons: Z\mathbb{Z} comes from the German Zahl, “number”, and Q\mathbb{Q} from quotient, a fraction p/qp/q. What each family holds is taught in Sets inside sets.

پێنج پیت ناوی خێزانەکانی ژمارە دەنێن و هەر خێزانێک ئەوەی پێش خۆی لەخۆ دەگرێت: N⊂Z⊂Q⊂R⊂C\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}. وەک پیت بیانخوێنەوە («ئێن»، «زێد»، «کیو»، «ئار»، «سی») یان بە ناوەکانیان لە خشتەکەدا. پیتەکان هۆیان هەیە: Z\mathbb{Z} لە وشەی ئەڵمانیی Zahlـەوە هاتووە کە واتای «ژمارە» دەدات. Q\mathbb{Q}ـیش لە quotientـەوە هاتووە، واتە p/qp/q. هەر خێزانێک چی تێدایە: کۆمەڵەکان لە ناو کۆمەڵەکاندا.

LetterپیتNameناوExamplesنموونەType itنووسین
N\mathbb{N}natural numbers1,2,3,…1, 2, 3, \ldots or 0,1,2,…0, 1, 2, \ldots1,2,3,…1, 2, 3, \ldots یان 0,1,2,…0, 1, 2, \ldots\mathbb{N}
Z\mathbb{Z}integers…,−2,−1,0,1,2,…\ldots, -2, -1, 0, 1, 2, \ldots\mathbb{Z}
Q\mathbb{Q}rational numbers12,−0.75,2.3‾\tfrac{1}{2}, -0.75, 2.\overline{3}\mathbb{Q}
R\mathbb{R}real numbers2,π,−1.5\sqrt{2}, \pi, -1.5\mathbb{R}
C\mathbb{C}complex numbersi,3+4ii, 3 + 4i\mathbb{C}
R∖Q\mathbb{R} \setminus \mathbb{Q}irrational numbers2,π,e\sqrt{2}, \pi, e\mathbb{R}\setminus\mathbb{Q}
Animation in six steps. A box ℕ, natural numbers, holds 1, 2 and 3. A box ℤ, integers, grows around it and adds 0, −3 and −10; then ℚ, rational numbers, adds ½, −0.75 and 2.333…; then ℝ, real numbers, adds √2, π and e; then ℂ, complex numbers, adds i, 3 + 4i and −2i. A line under each step says what the new set adds. Last frame: all five boxes, ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ, and irrational numbers: ℝ ∖ ℚ.
Animation in six steps. A box ℕ, natural numbers, holds 1, 2 and 3. A box ℤ, integers, grows around it and adds 0, −3 and −10; then ℚ, rational numbers, adds ½, −0.75 and 2.333…; then ℝ, real numbers, adds √2, π and e; then ℂ, complex numbers, adds i, 3 + 4i and −2i. A line under each step says what the new set adds. Last frame: all five boxes, ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ, and irrational numbers: ℝ ∖ ℚ.
Each family of numbers contains the one before it.هەر خێزانێکی ژمارە ئەوەی پێش خۆی لەخۆ دەگرێت.CêIT

R\mathbb{R}, R or R: how the letters are printedR\mathbb{R}، R یان R: پیتەکان چۆن چاپ دەکرێن

Printed books use blackboard bold, capitals with a double stroke: N Z Q R C\mathbb{N}\ \mathbb{Z}\ \mathbb{Q}\ \mathbb{R}\ \mathbb{C}. The style began as a way to write bold letters on a blackboard; the standard ISO 80000-2 accepts it as well as ordinary bold R. You may also meet handouts that simply write the plain capitals N, Z, Q, R and C. All of them mean the same sets, but a plain R can clash with a set that a problem calls R, so draw the double stroke when you write by hand.

کتێبە چاپکراوەکان پیتی دووهێڵی (blackboard bold) بەکار دەهێنن، پیتی گەورە بە هێڵێکی دووانەوە: N Z Q R C\mathbb{N}\ \mathbb{Z}\ \mathbb{Q}\ \mathbb{R}\ \mathbb{C}. ئەم شێوازە وەک ڕێگایەک بۆ نووسینی پیتی تۆخ لەسەر تەختەڕەش دەستی پێکرد؛ ستانداردی ⁦ISO 80000-2⁩ هەم ئەم شێوازە و هەم پیتی تۆخی ئاسایی R وەردەگرێت. لەوانەیە مەلزەمەش ببینیت کە بە سادەیی پیتە گەورە ئاساییەکان دەنووسێت: N Z Q R C. هەموویان هەمان دەگەیەنن، بەڵام Rـی سادە لەوانەیە لەگەڵ تێکەڵ بێت کە پرسیارێک ناوی ناوە R، بۆیە کاتێک بە دەست دەنووسیت هێڵە دووانەکە بکێشە.

Left: one set, three ways to print its letter: ℝ in blackboard bold (printed books), R as a plain capital (some handouts) and R in bold (some books); all three mean the real numbers; by hand, draw the double stroke, because a plain R may be any set named R. Right: small marks change the set: ℤ⁺ positive integers; ℤ⁻ negative integers; ℝ⁺ positive real numbers (is 0 in? check the book); ℝ ∖ {0} every real number except 0; ℝ ∖ ℚ irrational numbers (some handouts write “Ir”).چەپ: یەک کۆمەڵە، سێ شێوە بۆ چاپکردنی پیتەکەی: ℝ بە پیتی دووهێڵی (کتێبە چاپکراوەکان)، R بە پیتی سادە (هەندێک مەلزەمە) و R بە پیتی تۆخ (هەندێک کتێب)؛ هەر سێکیان واتە ژمارە ڕاستییەکان؛ بە دەست هێڵە دووانەکە بکێشە، چونکە Rـی سادە لەوانەیە هەر کۆمەڵەیەک بێت. ڕاست: نیشانەی بچووک کۆمەڵەکە دەگۆڕن: ℤ⁺ ژمارەی تەواوی موجەب؛ ℤ⁻ ژمارەی تەواوی سالب؛ ℝ⁺ ژمارەی ڕاستیی موجەب (ئایا 0 تێدایە؟ سەیری کتێبەکە بکە)؛ ℝ ∖ {0} هەموو ژمارەیەکی ڕاستی جگە لە 0؛ ℝ ∖ ℚ ژمارە ناڕێژەییەکان (هەندێک مەلزەمە «Ir» دەنووسن).
Same sets, different printing; small marks make smaller sets.هەمان ، چاپی جیاواز؛ نیشانە بچووکەکان بچووکتر دروست دەکەن.CêIT

Small marks change the set: Z+\mathbb{Z}^{+} and Z−\mathbb{Z}^{-} are the positive and the negative integers, R+\mathbb{R}^{+} the positive reals and R∖{0}\mathbb{R} \setminus \{0\}, “R without zero”, every real number except 0. Books differ on whether 0 belongs to R+\mathbb{R}^{+}, so look for a definition such as R+=(0,+∞)\mathbb{R}^{+} = (0, +\infty). Some handouts call the irrational numbers “Ir”; books write R∖Q\mathbb{R} \setminus \mathbb{Q} or I\mathbb{I} (Irrational numbers).

نیشانەی بچووک دەگۆڕن: Z+\mathbb{Z}^{+} واتە موجەب و Z−\mathbb{Z}^{-} واتە سالب؛ R+\mathbb{R}^{+} واتە موجەب و R∖{0}\mathbb{R} \setminus \{0\}، «R بەبێ سفر»، واتە هەموو جگە لە 0. کتێبەکان جیاوازن لەوەی ئایا 0 لە R+\mathbb{R}^{+}ـدایە یان نا، بۆیە بەدوای پێناسەیەکی وەک R+=(0,+∞)\mathbb{R}^{+} = (0, +\infty)ـدا بگەڕێ. هەندێک مەلزەمە بە دەڵێن «Ir»؛ کتێبەکان R∖Q\mathbb{R} \setminus \mathbb{Q} یان I\mathbb{I} دەنووسن (ژمارە ناڕێژەییەکان).

Does N\mathbb{N} start at 0 or at 1?ئایا N\mathbb{N} لە 0ـەوە دەست پێ دەکات یان لە 1ـەوە؟

Books disagree, and each is right inside its own pages. The international standard ISO 80000-2, and most of computer science, start at 0: N={0,1,2,… }\mathbb{N} = \{0, 1, 2, \dots\}. Many school and university books, the NIST Digital Library of Mathematical Functions (DLMF) and CêIT’s calculus course start at 1: N={1,2,3,… }\mathbb{N} = \{1, 2, 3, \dots\}. To leave no doubt, books add a mark: N0\mathbb{N}_0 for “with 0”; N∗\mathbb{N}^{*}, N1\mathbb{N}_1 or Z+\mathbb{Z}^{+} for “from 1”. The numbers 0, 1, 2, … are also called the whole numbers.

کتێبەکان لەسەر ئەمە ڕێک نین و هەریەکەیان لە ناو پەڕەکانی خۆیدا ڕاستە. ستانداردی نێودەوڵەتیی ⁦ISO 80000-2⁩ و زۆربەی زانستی کۆمپیوتەر لە 0ـەوە دەست پێ دەکەن: N={0,1,2,… }\mathbb{N} = \{0, 1, 2, \dots\}. زۆر کتێبی قوتابخانە و زانکۆ، DLMF (NIST Digital Library of Mathematical Functions) و کۆرسی کالکولەسی CêIT لە 1ـەوە دەست پێ دەکەن: N={1,2,3,… }\mathbb{N} = \{1, 2, 3, \dots\}. بۆ ئەوەی هیچ گومانێک نەمێنێت، کتێبەکان نیشانەیەک زیاد دەکەن: N0\mathbb{N}_0 بۆ «لەگەڵ 0»؛ N∗\mathbb{N}^{*}، N1\mathbb{N}_1 یان Z+\mathbb{Z}^{+} بۆ «لە 1ـەوە». بە ژمارەکانی 0,1,2,…0, 1, 2, \dots دەوترێت .

Two number lines from 0 to 6. Top: starting at 0, ISO 80000-2 and computing, ℕ₀: every point from 0 on is filled. Bottom: starting at 1, DLMF, CêIT’s calculus and many school books, ℕ* and ℤ⁺: 0 is empty and crossed out, 1 to 6 are filled. Under them: both are correct inside their own book; check which one yours uses.دوو هێڵی ژمارەکان لە 0 تا 6. سەرەوە: لە 0ـەوە، ISO 80000-2 و کۆمپیوتەر، ℕ₀: هەموو خاڵێک لە 0ـەوە پڕکراوە. خوارەوە: لە 1ـەوە، DLMF، کالکولەسی CêIT و زۆر کتێبی قوتابخانە، ℕ* و ℤ⁺: 0 بەتاڵە و خەتی بەسەردا هاتووە، 1 تا 6 پڕکراون. لە ژێریانەوە: هەردووکیان لە ناو کتێبی خۆیاندا دروستن؛ سەیر بکە کتێبەکەت کامیان بەکار دەهێنێت.
Two conventions for N\mathbb{N}.دوو نەریت بۆ N\mathbb{N}.CêIT

So before you use N\mathbb{N} in an answer, check the book’s first chapter or its list of symbols (Natural numbers). Code leaves no doubt: Python’s range(5) gives 0, 1, 2, 3, 4, and positions in a list start at 0.

کەواتە پێش ئەوەی N\mathbb{N} لە وەڵامێکدا بەکار بهێنیت، سەیری بەشی یەکەمی کتێبەکە یان لیستی بکە (ژمارە سروشتییەکان). کۆد هیچ گومانێک ناهێڵێت: range(5)ـی ژمارەکانی 0، 1، 2، 3، 4 دەدات و شوێنەکانی ناو لە 0ـەوە دەست پێ دەکەن.

The same signs in Pythonهەمان نیشانەکان لە Pythonـدا

Python’s sets follow the maths closely, with keyboard signs instead of maths symbols. Braces hold the elements, in tests membership, and |, &, - and ^ combine sets:

زۆر لە بیرکاری دەچن، بەڵام نیشانەی لە جیاتی بیرکاری بەکار دەهێنن. کەوانەی لوول هەڵدەگرێت، in ئەندامێتی دەپشکنێت و |، &، - و ^ پێکەوە دەبەستن:

A table with three columns, maths, Python and meaning: x ∈ A is x in A, is in; x ∉ A is x not in A, is not in; A ∪ B is A | B, union; A ∩ B is A & B, intersection; A ∖ B is A - B, difference; A △ B is A ^ B, in exactly one; A ⊆ B is A <= B, subset; A ⊂ B is A < B, proper subset; |A| is len(A), number of elements; ∅ is set(), empty set.خشتەیەک بە سێ ستوون، بیرکاری، Python و واتا: x ∈ A بریتییە لە x in A، لە ناویدایە؛ x ∉ A بریتییە لە x not in A، لە ناویدا نییە؛ A ∪ B بریتییە لە A | B، یەکگرتن؛ A ∩ B بریتییە لە A & B، یەکتربڕین؛ A ∖ B بریتییە لە A - B، جیاوازیی کۆمەڵە؛ A △ B بریتییە لە A ^ B، تەنیا لە یەکێکیاندا؛ A ⊆ B بریتییە لە A <= B، ژێرکۆمەڵە؛ A ⊂ B بریتییە لە A < B، ژێرکۆمەڵەی ڕاست و پاک؛ |A| بریتییە لە len(A)، ژمارەی ئەندامەکان؛ ∅ بریتییە لە set()، کۆمەڵەی بەتاڵ.
Maths signs and their Python spellings. بیرکاری و شێوەی نووسینیان لە .CêIT
Set signs in Pythonهێماکانی کۆمەڵە لە Pythonـداset_signs.pyPYTHONType in a terminalلە تێرمیناڵدا بینووسە
A = {1, 2, 3, 4}
B = {3, 4, 5}
print(3 in A, 5 not in A)          # ∈ and ∉
print(A | B, A & B)                # ∪ and ∩
print(A - B, A ^ B)                # ∖ and symmetric difference
print({3, 4} <= A, {3, 4} < A)     # ⊆ and proper ⊂
print(len(A), set(), type({}))     # |A|, ∅ and a trap
print({x for x in A if x % 2 == 0})  # {x ∈ A | x is even}
Explain the codeڕوونکردنەوەی کۆدەکە
Lineدێڕی 5

^ keeps the elements that are in exactly one of the sets, the symmetric difference A△BA \mathbin{\triangle} B. It is not a power here.

^ ئەو دەهێڵێتەوە کە تەنیا لە یەکێک لە ، واتە A△BA \mathbin{\triangle} B. لێرەدا نییە.

Lineدێڕی 7

{} makes an empty dictionary, so the empty set is written set().

{} dictionaryـیەکی بەتاڵ دروست دەکات، بۆیە بە set() دەنووسرێت.

Lineدێڕی 8

A set comprehension is set-builder notation in code: {x∈A∣x is even}\{x \in A \mid x \text{ is even}\}.

set comprehension هەمان لە کۆددا: {x∈A∣x=2k, k∈Z}\{x \in A \mid x = 2k,\ k \in \mathbb{Z}\}، واتە جووتەکانی A.

More practice: Union, intersection and difference. Databases use the same ideas: SQL’s UNION, INTERSECT and EXCEPT and relational algebra’s ∪\cup, ∩\cap and −- work on whole tables (Union, intersection and difference).

ڕاهێنانی زیاتر: یەکگرتن، یەکتربڕین و جیاوازیی کۆمەڵە. هەمان بیرۆکە بەکار دەهێنن: UNION، INTERSECT و EXCEPTـی SQL و ∪\cup، ∩\cap و −-ـی لەسەر بە تەواوی کار دەکەن (یەکگرتن، یەکتربڕین و جیاوازیی کۆمەڵە).

Common mistakesهەڵە باوەکان

MistakeهەڵەFixچارەسەر
Reading ∈\in as the Greek letter εخوێندنەوەی ∈\in وەک پیتی یۆنانیی ε∈\in is a sign: “is an element of” (Look-alikes)∈\in نیشانەیە: « …ـیە» (لێکچووەکان)
Calling {0}\{0\} or {∅}\{\emptyset\} emptyوتنی ئەوەی کە {0}\{0\} یان {∅}\{\emptyset\} بەتاڵنEach has one element; only ∅={ }\emptyset = \{\,\} is emptyهەریەکەیان یەک هەیە؛ تەنیا ∅={ }\emptyset = \{\,\} بەتاڵە
Writing the letter Ø or φ for the empty setنووسینی پیتی Ø یان φ بۆ Type the sign ∅\emptyset (LaTeX \emptyset, Unicode U+2205)نیشانەی ∅\emptyset بنووسە (LaTeX \emptyset، ⁦Unicode U+2205⁩)
Taking ⊂\subset as “proper subset” in every bookوەرگرتنی ⊂\subset وەک «» لە هەموو کتێبێکداCheck the book: ⊂\subset may allow equal sets; ⊊\subsetneq never doesسەیری کتێبەکە بکە: ⊂\subset لەوانەیە یەکسان ڕێگە پێ بدات؛ ⊊\subsetneq هەرگیز
Writing A∈SA \in S for an event Aنووسینی A∈SA \in S بۆ وەک AAn event is a set: A⊆SA \subseteq S; one outcome: a∈Sa \in S : A⊆SA \subseteq S؛ یەک ئەنجام: a∈Sa \in S
Thinking A∖B=B∖AA \setminus B = B \setminus Aوا بزانیت A∖B=B∖AA \setminus B = B \setminus A{1,2,3}∖{3,4}={1,2}\{1, 2, 3\} \setminus \{3, 4\} = \{1, 2\} but {3,4}∖{1,2,3}={4}\{3, 4\} \setminus \{1, 2, 3\} = \{4\}{1,2,3}∖{3,4}={1,2}\{1, 2, 3\} \setminus \{3, 4\} = \{1, 2\} بەڵام {3,4}∖{1,2,3}={4}\{3, 4\} \setminus \{1, 2, 3\} = \{4\}
Using N\mathbb{N} without saying whether 0 is inبەکارهێنانی N\mathbb{N} بەبێ وتنی ئەوەی ئایا 0 تێدایەWrite N0\mathbb{N}_0 for {0,1,2,… }\{0, 1, 2, \dots\} and N∗\mathbb{N}^{*} or Z+\mathbb{Z}^{+} for {1,2,… }\{1, 2, \dots\}بۆ {0,1,2,… }\{0, 1, 2, \dots\} بنووسە N0\mathbb{N}_0 و بۆ {1,2,… }\{1, 2, \dots\} بنووسە N∗\mathbb{N}^{*} یان Z+\mathbb{Z}^{+}
Reading (2,5)(2, 5) as the set {2,5}\{2, 5\}خوێندنەوەی (2,5)(2, 5) وەک {2,5}\{2, 5\}Round brackets: an ordered pair, a point or an open interval, where order matters; braces: a setکەوانەی خڕ: ، خاڵێک یان ، کە ڕیزبەندی تێیدا گرنگە؛ کەوانەی لوول:
Writing {} for an empty set in Pythonنووسینی {} بۆ لە {} is a dictionary; write set(){} dictionaryـیە؛ بنووسە set()

Practiceڕاهێنان

ExerciseڕاهێنانSay it aloudبە دەنگی بەرز بیخوێنەوە

Read each statement aloud in English and in Kurdish: (a) −2∈Z-2 \in \mathbb{Z} (b) Q⊆R\mathbb{Q} \subseteq \mathbb{R} (c) A∩B=∅A \cap B = \emptyset (d) ∣A∪B∣=5|A \cup B| = 5 (e) {x∈R∣x2=4}={−2,2}\{x \in \mathbb{R} \mid x^2 = 4\} = \{-2, 2\}

هەر ڕستەیەک بە ئینگلیزی و بە کوردی بە دەنگی بەرز بخوێنەوە: ⁦(a)⁩ −2∈Z-2 \in \mathbb{Z} ⁦(b)⁩ Q⊆R\mathbb{Q} \subseteq \mathbb{R} ⁦(c)⁩ A∩B=∅A \cap B = \emptyset ⁦(d)⁩ ∣A∪B∣=5|A \cup B| = 5 ⁦(e)⁩ {x∈R∣x2=4}={−2,2}\{x \in \mathbb{R} \mid x^2 = 4\} = \{-2, 2\}

Show answerوەڵامەکە پیشان بدە
  • (a) “Minus two is an element of Z”: −2-2 is an integer.
  • (b) “Q is a subset of R”: every rational number is real.
  • (c) “A intersect B is the empty set”: A and B share nothing.
  • (d) “The number of elements of A union B is 5.”
  • (e) “The set of all real x such that x squared equals 4 is the set minus two, two.”
  • ⁦(a)⁩ «سالب دوو ℤـە» (minus two is an element of Z): −2-2 .
  • ⁦(b)⁩ «ℚ ℝـە»: هەموو ڕاستییە (Q is a subset of R).
  • ⁦(c)⁩ « A و B »: A و B هیچ هاوبەشێکیان نییە (A intersect B is the empty set).
  • ⁦(d)⁩ « A و B یەکسانە بە 5» (the number of elements of A union B is five).
  • ⁦(e)⁩ « هەموو ئەو xـە ڕاستییانەی کە x دووجا یەکسانە بە 4، سالب دوو و دووە» (the set of all real x such that x squared equals four is the set minus two, two).
ExerciseڕاهێنانRoster or set-builderلیست یان شێوەی وەسفیی کۆمەڵە

(a) Write {n∈N∣n<4}\{n \in \mathbb{N} \mid n < 4\} as a list, once for a book whose N\mathbb{N} starts at 1 and once for a book whose N\mathbb{N} starts at 0. (b) Write {2,4,6,8,… }\{2, 4, 6, 8, \dots\} in set-builder notation. (c) List {x∈Z∣−1≤x<3}\{x \in \mathbb{Z} \mid -1 \le x < 3\}.

⁦(a)⁩ {n∈N∣n<4}\{n \in \mathbb{N} \mid n < 4\} وەک لیست بنووسە، جارێک بۆ کتێبێک کە N\mathbb{N}ـەکەی لە 1ـەوە دەست پێ دەکات و جارێک بۆ کتێبێک کە لە 0ـەوە دەست پێ دەکات. ⁦(b)⁩ {2,4,6,8,… }\{2, 4, 6, 8, \dots\} بە بنووسە. ⁦(c)⁩ {x∈Z∣−1≤x<3}\{x \in \mathbb{Z} \mid -1 \le x < 3\} ڕیز بکە.

Show answerوەڵامەکە پیشان بدە
  • (a) {1,2,3}\{1, 2, 3\} when N\mathbb{N} starts at 1; {0,1,2,3}\{0, 1, 2, 3\} when it starts at 0.
  • (b) {2n∣n∈Z+}\{2n \mid n \in \mathbb{Z}^{+}\}, or {x∣x=2k, k∈Z+}\{x \mid x = 2k,\ k \in \mathbb{Z}^{+}\}: the positive even numbers.
  • (c) {−1,0,1,2}\{-1, 0, 1, 2\}: −1-1 is included (≤\le) and 3 is not (<<).
  • ⁦(a)⁩ {1,2,3}\{1, 2, 3\} کاتێک N\mathbb{N} لە 1ـەوە دەست پێ دەکات؛ {0,1,2,3}\{0, 1, 2, 3\} کاتێک لە 0ـەوە دەست پێ دەکات.
  • ⁦(b)⁩ {2n∣n∈Z+}\{2n \mid n \in \mathbb{Z}^{+}\}، یان {x∣x=2k, k∈Z+}\{x \mid x = 2k,\ k \in \mathbb{Z}^{+}\}: ژمارە جووتە موجەبەکان.
  • ⁦(c)⁩ {−1,0,1,2}\{-1, 0, 1, 2\}: −1-1 تێدایە (≤\le) و 3 نا (<<).
ExerciseڕاهێنانRewrite for another bookبۆ کتێبێکی تر بینووسەرەوە

Rewrite each piece for a book that writes ⊆\subseteq and ⊊\subsetneq, AcA^{c} and ∖\setminus: (a) P(A′)=0.4P(A^{\prime}) = 0.4 (b) N⊂Z\mathbb{N} \subset \mathbb{Z} in a book where ⊂\subset means proper subset (c) “Ir = R − Q” (d) “A ∈ S” for an event A.

هەر پارچەیەک بۆ کتێبێک بنووسەرەوە کە ⊆\subseteq و ⊊\subsetneq، AcA^{c} و ∖\setminus دەنووسێت: ⁦(a)⁩ P(A′)=0.4P(A^{\prime}) = 0.4 ⁦(b)⁩ N⊂Z\mathbb{N} \subset \mathbb{Z} لە کتێبێکدا کە ⊂\subset واتای دەدات ⁦(c)⁩ «⁦Ir = R − Q⁩» ⁦(d)⁩ «⁦A ∈ S⁩» بۆ وەک A.

Show answerوەڵامەکە پیشان بدە
  • (a) P(Ac)=0.4P(A^{c}) = 0.4: AcA^{c} instead of A′A^{\prime}
  • (b) N⊊Z\mathbb{N} \subsetneq \mathbb{Z} (and N⊆Z\mathbb{N} \subseteq \mathbb{Z} is also true)
  • (c) R∖Q\mathbb{R} \setminus \mathbb{Q}, the irrational numbers
  • (d) A⊆SA \subseteq S: an event is a set
  • ⁦(a)⁩ P(Ac)=0.4P(A^{c}) = 0.4: AcA^{c} لە جیاتی A′A^{\prime}
  • ⁦(b)⁩ N⊊Z\mathbb{N} \subsetneq \mathbb{Z} (هەروەها N⊆Z\mathbb{N} \subseteq \mathbb{Z}ـیش ڕاستە)
  • ⁦(c)⁩ R∖Q\mathbb{R} \setminus \mathbb{Q}،
  • ⁦(d)⁩ A⊆SA \subseteq S:

Summaryپوختە

  • Braces list a set; ∈\in “is an element of”, ∉\notin “is not”.
  • {x∣…}\{x \mid \ldots\}: the bar, the colon or the semicolon is read “such that”.
  • ⊆\subseteq subset, ⊇\supseteq superset; ⊂\subset is proper in some books and any subset in others.
  • ∪\cup union (or), ∩\cap intersection (and), ∖\setminus or −- minus; the complement is AcA^{c}, A′A^{\prime} or A‾\overline{A}.
  • Only ∅={ }\emptyset = \{\,\} is empty; ∣A∣|A| or n(A)n(A) counts elements; A×BA \times B makes pairs; P(A)\mathcal{P}(A) holds all 2n2^{n} subsets.
  • N⊂Z⊂Q⊂R⊂C\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}, also printed N, Z, Q, R, C; check whether a book’s N\mathbb{N} has 0.
  • All these signs, with their readings, are in the Symbol dictionary: Sets and number sets.
  • کەوانەی لوول ڕیز دەکات؛ ∈\in « …ـیە»، ∉\notin «… نییە».
  • {x∣…}\{x \mid \ldots\}: هێڵ، دوو خاڵ یان خاڵبۆر «بە جۆرێک کە» دەخوێنرێنەوە.
  • ⊆\subseteq ، ⊇\supseteq ؛ ⊂\subset لە هەندێک کتێبدا و لە هەندێکی تردا هەر .
  • ∪\cup (یان)، ∩\cap (و)، ∖\setminus یان −- کەم؛ بە AcA^{c}، A′A^{\prime} یان A‾\overline{A} دەنووسرێت.
  • تەنیا ∅={ }\emptyset = \{\,\} بەتاڵە؛ ∣A∣|A| یان n(A)n(A) دەژمێرێت؛ A×BA \times B جووت دروست دەکات؛ P(A)\mathcal{P}(A) هەموو 2n2^{n} تێدایە.
  • N⊂Z⊂Q⊂R⊂C\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}، بە پیتی سادەی N Z Q R Cـیش دەنووسرێن؛ سەیر بکە ئایا N\mathbb{N}ـی کتێبێک 0ـی تێدایە.
  • هەموو ئەم نیشانانە، لەگەڵ خوێندنەوەکانیان، لە فەرهەنگی هەن: کۆمەڵەکان و کۆمەڵەکانی ژمارە.
A card of sixteen signs with their readings: { … } the set; x ∈ A, x is in A; x ∉ A, x is not in A; {x | …}, the set of x such that; A ⊆ B, A is a subset of B; A ⊂ B, proper subset (check the book); B ⊇ A, B is a superset of A; A ∪ B, A union B, in A or B; A ∩ B, A intersect B, in both; A ∖ B, A minus B; Aᶜ A′ Ā, complement, not in A; ∅ = { }, the empty set; |A| and n(A), number of elements; A × B, A cross B, pairs; 𝒫(A), all subsets of A; ℕ ℤ ℚ ℝ ℂ, the number sets.کارتێکی شازدە نیشانە لەگەڵ خوێندنەوەکانیان: { … } کۆمەڵەی …؛ x ∈ A، x لە Aـدایە؛ x ∉ A، x لە Aـدا نییە؛ {x | …}، xـەکان، بە جۆرێک کە …؛ A ⊆ B، A ژێرکۆمەڵەی Bـیە؛ A ⊂ B، ژێرکۆمەڵەی ڕاست و پاک (سەیری کتێبەکە بکە)؛ B ⊇ A، B ژوورکۆمەڵەی Aـیە؛ A ∪ B، یەکگرتنی A و B؛ A ∩ B، یەکتربڕینی A و B؛ A ∖ B، A کەم B؛ Aᶜ A′ Ā، تەواوکەر: لە Aـدا نییە؛ ∅ = { }، کۆمەڵەی بەتاڵ؛ |A| و n(A)، ژمارەی ئەندامەکان؛ A × B، جووتە ڕێکخراوەکان؛ 𝒫(A)، هەموو ژێرکۆمەڵەکانی A؛ ℕ ℤ ℚ ℝ ℂ، کۆمەڵەکانی ژمارە.
Set notation at a glance: the symbol and how to say it. بە کورتی: و چۆنیەتیی خوێندنەوەی.CêIT
Review questionsپرسیارەکانی پێداچوونەوە
How do you read {x∈Z∣x>3}\{x \in \mathbb{Z} \mid x > 3\}?{x∈Z∣x>3}\{x \in \mathbb{Z} \mid x > 3\} چۆن دەخوێنیتەوە؟

“The set of all integers x such that x is greater than 3”: 4, 5, 6, …

« هەموو ئەو xـانەی کە و لە 3 گەورەترن»: 4، 5، 6، …

A handout writes A′A^{\prime} and a logic book A‾\overline{A}. Are they different ideas?مەلزەمەیەک A′A^{\prime} دەنووسێت و کتێبێکی لۆجیک A‾\overline{A}. ئایا دوو بیرۆکەی جیاوازن؟

No. Both mean “not A”: the complement U∖AU \setminus A for sets and events, NOT A in logic design.

نەخێر. هەردووکیان واتە «نا A»: U∖AU \setminus A بۆ و ، NOT A لە دیزاینی .

Is 0 in N\mathbb{N}?ئایا 0 لە N\mathbb{N}ـدایە؟

It depends on the book: yes in ISO 80000-2 and in computing, no in DLMF and in CêIT’s calculus course. N0\mathbb{N}_0 always includes it.

بەستراوە بە کتێبەکە: بەڵێ لە ⁦ISO 80000-2⁩ و لە کۆمپیوتەردا، نەخێر لە DLMF و لە کۆرسی کالکولەسی CêITـدا. N0\mathbb{N}_0 هەمیشە لەخۆی دەگرێت.

Lesson complete!وانەکە تەواو بوو!

Well done. Review the key terms, then go on to the next lesson.دەستخۆش. سەیرێکی زاراوە سەرەکییەکان بکەرەوە، پاشان بڕۆ بۆ وانەی داهاتوو.

Key termsزاراوە سەرەکییەکان

Next lessonوانەی داهاتوو

Logic Symbols and Boolean Algebraهێماکانی لۆجیک و جەبری بوول

References and further readingسەرچاوەکان و خوێندنەوەی زیاتر

This lecture is a first edition. The Kurdish text and terminology are waiting for review by Kurdish IT teachers.ئەم وانەیە چاپی یەکەمە. دەقە کوردییەکە و زاراوەکانی چاوەڕێی پێداچوونەوەی مامۆستایانی کوردی بواری IT ن.

Appearanceڕووکار

Modeدۆخ
Styleشێواز
Coloursڕەنگەکان

Saved on this device only.تەنیا لەسەر ئەم ئامێرە پاشەکەوت دەکرێت.