Úvod do informatiky. Miroslav Kolařík

Podobné dokumenty
Úvod do informatiky. Miroslav Kolařík

Matematická analýza 1

Lineární algebra Kapitola 1 - Základní matematické pojmy

Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

Matematická logika. Miroslav Kolařík

Množiny, relace, zobrazení

Princip rozšíření a operace s fuzzy čísly

Úvod do informatiky. Miroslav Kolařík

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO ALGEBRA DAGMAR SKALSKÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Kapitola 1. Relace. podle definice podmnožinou každé množiny. 1 Neříkáme už ale, co to je objekt. V tom právě spočívá intuitivnost našeho přístupu.

Cvičení 1. Úvod do teoretické informatiky(2014/2015) cvičení 1 1

Přijímací zkouška - matematika

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2016

Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

Aritmetika s didaktikou I.

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2015

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2016

Úvod do informatiky. Miroslav Kolařík. Zpracováno dle učebního textu prof. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008.

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014

Relace. R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace

3 Množiny, Relace a Funkce

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2017

Pojem relace patří mezi pojmy, které prostupují všemi částmi matematiky.

Množina je nejdůležitější matematický pojem, na kterém stojí veškeré další matematické pojmy.

PŘEDNÁŠKA 7 Kongruence svazů

1. Množiny, zobrazení, relace

Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno

Vysoké učení technické v Brně Fakulta informačních technologií. Regulární pologrupy. Semestrální práce do předmětu Algebra, Kombinatorika, Grafy

Naivní teorie množin. Naivní pojem množiny Funkce jako nálepkovací schéma Konečnost, nekonečnost Spočetnost, nespočetnost

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

Matematická logika. Miroslav Kolařík

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2014

Marie Duží

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

MIDTERM D. Příjmení a jméno:

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

Množiny, základní číselné množiny, množinové operace

Relace a kongruence modulo

Doporučené příklady k Teorii množin, LS 2018/2019

Základy teorie množin

Množiny, relácie, zobrazenia

Co je to univerzální algebra?

Aplikovaná matematika I, NMAF071

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

3. Algebraické systémy

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Bakalářská matematika I

Matematická analýza pro informatiky I.

Modely Herbrandovské interpretace

Oproti definici ekvivalence jsme tedy pouze zaměnili symetričnost za antisymetričnost.

Základy teorie množin

analytické geometrie v prostoru s počátkem 18. stol.

Jan Pavĺık. FSI VUT v Brně

RELACE, OPERACE. Relace

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

Teorie množin Pavel Podbrdský

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

Relace a kongruence modulo

2. přednáška 8. října 2007

EUKLIDOVSKÉ PROSTORY

67. ročník matematické olympiády III. kolo kategorie A. Přerov, března 2018

ÚVOD DO ARITMETIKY. Michal Botur

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Automaty a gramatiky(bi-aag) Motivace. 1. Základní pojmy. 2 domácí úkoly po 6 bodech 3 testy za bodů celkem 40 bodů

PŘEDNÁŠKA 2 POSLOUPNOSTI

1. Základy logiky a teorie množin

Výroková a predikátová logika - VI

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

1 Topologie roviny a prostoru

Matematická analýza III.

Vlastnosti regulárních jazyků

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Syntetická geometrie I

6. Vektorový počet Studijní text. 6. Vektorový počet

Lineární algebra : Lineární prostor

Výroková a predikátová logika - VIII

Paradoxy nekonečna. Co analyzuje Matematická analýza? Nekonečné procesy. n(n + 1) + = n 2 + = π2 6

Omezenost funkce. Definice. (shora, zdola) omezená na množině M D(f ) tuto vlastnost. nazývá se (shora, zdola) omezená tuto vlastnost má množina

Syntetická geometrie I

1 Pravdivost formulí v interpretaci a daném ohodnocení

Algebra 2 KMI/ALG2. Zpracováno podle přednášek prof. Jiřího Rachůnka a podle přednášek prof. Ivana Chajdy. slidy k přednáškám

Grafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.

Lineární algebra : Skalární součin a ortogonalita

V: Pro nulový prvek o lineárního prostoru L platí vlastnosti:

5.3. Implicitní funkce a její derivace

Základy matematické analýzy

Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.

Ekvivalence. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5

Základy teorie množin

Uzavřené a otevřené množiny

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

9 Kolmost vektorových podprostorů

Transkript:

Úvod do informatiky přednáška pátá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní matematika pro informatiky II, Olomouc 2006.

Obsah 1 Zobrazení (funkce) 2 Vlastnosti binárních relací na množině

Obsah 1 Zobrazení (funkce) 2 Vlastnosti binárních relací na množině

Zobrazení (funkce) Zobrazení (funkce) je matematickým protějškem běžně používaného pojmu přiřazení. Definice Relace R mezi X a Y se nazývá zobrazení (funkce) množiny X do množiny Y, právě když pro každé x X existuje právě jedno y Y tak, že x,y R. Poznámka: Tedy x X a y 1,y 2 Y platí, že ( x,y 1 R a x,y 2 R) y 1 = y 2. Poznámka: Fakt, že R je zobrazení X do Y, označujeme R : X Y. Pro zobrazení používáme spíše f,g,... než R,S,... Je-li f : X Y zobrazení a x X, pak ten y Y, pro který je x,y f, označujeme f(x); píšeme také x y, popř. x f(x).

Zobrazení (funkce) Zobrazení (funkce) je matematickým protějškem běžně používaného pojmu přiřazení. Definice Relace R mezi X a Y se nazývá zobrazení (funkce) množiny X do množiny Y, právě když pro každé x X existuje právě jedno y Y tak, že x,y R. Poznámka: Tedy x X a y 1,y 2 Y platí, že ( x,y 1 R a x,y 2 R) y 1 = y 2. Poznámka: Fakt, že R je zobrazení X do Y, označujeme R : X Y. Pro zobrazení používáme spíše f,g,... než R,S,... Je-li f : X Y zobrazení a x X, pak ten y Y, pro který je x,y f, označujeme f(x); píšeme také x y, popř. x f(x).

Příklad Uvažujme množiny X ={a,b}, Y ={1,2,3}. Pak a) relace R ={ a,1, a,3 } není zobrazení X do Y, b) relace S ={ a,1, b,2, b,3 } není zobrazení X do Y, c) relace f ={ b,2, a,2 } je zobrazení X do Y.

Příklad Uvažujme množiny X ={a,b}, Y ={1,2,3}. Pak a) relace R ={ a,1, a,3 } není zobrazení X do Y, b) relace S ={ a,1, b,2, b,3 } není zobrazení X do Y, c) relace f ={ b,2, a,2 } je zobrazení X do Y.

Příklad Uvažujme množiny X ={a,b}, Y ={1,2,3}. Pak a) relace R ={ a,1, a,3 } není zobrazení X do Y, b) relace S ={ a,1, b,2, b,3 } není zobrazení X do Y, c) relace f ={ b,2, a,2 } je zobrazení X do Y.

Typy zobrazení Definice Zobrazení f : X Y se nazývá a) prosté (injektivní), právě když pro každé x 1,x 2 X, pro x 1 x 2 plyne f(x 1 ) f(x 2 ), b) zobrazení množiny X na množinu Y (surjektivní), právě když pro každé y Y existuje x X tak, že f(x)=y, c) vzájemně jednoznačné (bijektivní), právě když je prosté a na (je tedy injektivní a současně surjektivní). Poznámka: Zobrazení je prosté, právě když z f(x 1 )=f(x 2 ) plyne x 1 = x 2, což je přímým důsledkem následující tautologie výrokové logiky: (a b) ( b a).

Příklad Mějme dány množiny A={α,β,γ}, B ={1,2,3,4}, C ={,, } a zobrazení f : A B, g : B C takové, že f ={ α,1, β,2, γ,4 }, g ={ 1,, 2,, 3,, 4, }. Pak zřejmě zobrazení f je injektivní a není surjektivní (tedy není bijektivní) a zobrazení g je surjektivní a není injektivní (tedy také není bijektivní). Pro f g : A C máme: f g ={ α,, β,, γ, }, což je zobrazení surjektivní a injektivní (a tedy i bijektivní). Dále snadno nahlédneme, že f 1 a g 1 nejsou zobrazení. Naproti tomu g 1 f 1 ={,α,,β,,γ } je bijekce C na A.

Příklad Mějme dány množiny A={α,β,γ}, B ={1,2,3,4}, C ={,, } a zobrazení f : A B, g : B C takové, že f ={ α,1, β,2, γ,4 }, g ={ 1,, 2,, 3,, 4, }. Pak zřejmě zobrazení f je injektivní a není surjektivní (tedy není bijektivní) a zobrazení g je surjektivní a není injektivní (tedy také není bijektivní). Pro f g : A C máme: f g ={ α,, β,, γ, }, což je zobrazení surjektivní a injektivní (a tedy i bijektivní). Dále snadno nahlédneme, že f 1 a g 1 nejsou zobrazení. Naproti tomu g 1 f 1 ={,α,,β,,γ } je bijekce C na A.

Příklad Mějme dány množiny A={α,β,γ}, B ={1,2,3,4}, C ={,, } a zobrazení f : A B, g : B C takové, že f ={ α,1, β,2, γ,4 }, g ={ 1,, 2,, 3,, 4, }. Pak zřejmě zobrazení f je injektivní a není surjektivní (tedy není bijektivní) a zobrazení g je surjektivní a není injektivní (tedy také není bijektivní). Pro f g : A C máme: f g ={ α,, β,, γ, }, což je zobrazení surjektivní a injektivní (a tedy i bijektivní). Dále snadno nahlédneme, že f 1 a g 1 nejsou zobrazení. Naproti tomu g 1 f 1 ={,α,,β,,γ } je bijekce C na A.

Příklad Mějme dány množiny A={α,β,γ}, B ={1,2,3,4}, C ={,, } a zobrazení f : A B, g : B C takové, že f ={ α,1, β,2, γ,4 }, g ={ 1,, 2,, 3,, 4, }. Pak zřejmě zobrazení f je injektivní a není surjektivní (tedy není bijektivní) a zobrazení g je surjektivní a není injektivní (tedy také není bijektivní). Pro f g : A C máme: f g ={ α,, β,, γ, }, což je zobrazení surjektivní a injektivní (a tedy i bijektivní). Dále snadno nahlédneme, že f 1 a g 1 nejsou zobrazení. Naproti tomu g 1 f 1 ={,α,,β,,γ } je bijekce C na A.

Příklad Mějme dány následující funkce: a) f ={ x,y R R y = e x }, b) g ={ x,y R + 0 R+ 0 y = x}, c) h 1 ={ x,y R R y = sinx}, d) h 2 ={ x,y R\{ π 2 + kπ k Z} R y = tanx}. Pak zřejmě: f je injekce, ale není surjekce, g je bijekce, h 1 není injekce, není surjekce, h 2 je surjekce, není injekce.

Věta Pro zobrazení f : X Y, g : Y Z platí a) f g je zobrazení, b) jsou-li f,g injekce, je f g injekce, c) jsou-li f,g surjekce, je f g surjekce. Důkaz c): Chceme dokázat, že pro každé z Z existuje x X tak, že x,z f g. Necht tedy z Z, pak, jelikož g je surjekce, musí existovat nějaké y Y takové, že y,z g. Dále z faktu, že f je surjekce musí k tomuto y existovat nějaké x X tak, že x,y f. Tedy vskutku pro lib. z Z existuje x X takové, že x,z f g, tedy f g je surjekce.

Poznámka k nekonečným množinám Víme, že množina A se nazývá konečná, právě když je prázdná (A= /0) nebo existuje přirozené číslo n a bijekce f : A {1,2,...,n}. (V prvním případě říkáme, že počet prvků množiny A je 0, ve druhém případě říkáme, že počet prvků množiny A je n.) Množina A se nazývá nekonečná, právě když není konečná. Definice Množina A se nazývá spočetná, právě když existuje bijekce f : A N. Množina A se nazývá nespočetná, právě když je nekonečná a není spočetná. Poznámka: Pro žádné n N neexistuje bijekce f :{1,...,n} N, tedy každá spočetná množina je nekonečná. Z definice plyne, že každá nekonečná množina je spočetná nebo nespočetná.

Poznámka k nekonečným množinám Víme, že množina A se nazývá konečná, právě když je prázdná (A= /0) nebo existuje přirozené číslo n a bijekce f : A {1,2,...,n}. (V prvním případě říkáme, že počet prvků množiny A je 0, ve druhém případě říkáme, že počet prvků množiny A je n.) Množina A se nazývá nekonečná, právě když není konečná. Definice Množina A se nazývá spočetná, právě když existuje bijekce f : A N. Množina A se nazývá nespočetná, právě když je nekonečná a není spočetná. Poznámka: Pro žádné n N neexistuje bijekce f :{1,...,n} N, tedy každá spočetná množina je nekonečná. Z definice plyne, že každá nekonečná množina je spočetná nebo nespočetná.

Obsah 1 Zobrazení (funkce) 2 Vlastnosti binárních relací na množině

Binární relace na množině Připomeňme, že jsme zavedli pojem relace jakožto matematický protějšek pojmu vztah. Nyní se zaměříme na další vlastnosti a práci s relacemi, konkrétně s binárními relacemi na množině. Zopakujme, že binární relace R na množině X /0 je podmnožina kartézského součinu X X, to jest R X X. Binární relace na množině jsou tedy matematickým protějškem vztahů mezi dvěma prvky množiny, například "x je menší než y", "x má stejnou barvu jako y", "x nezávisí na y", atd. Speciálními relacemi jsou prázdná relace /0, relace identity ω X ={ x,x x X}, a kartézský čtverec ι X = X X.

Vlastnosti binárních relací na množině Definice Necht R je binární relace na X. Řekneme, že R je reflexivní, pokud pro každé x X platí x,x R symetrická, pokud pro každé x,y X platí x,y R y,x R antisymetrická, pokud pro každé x, y X platí ( x,y R y,x R) x = y tranzitivní, pokud pro každé x,y,z X platí ( x,y R y,z R) x,z R. Relace R je (relace) ekvivalence, jestliže je reflexivní, symetrická a tranzitivní. Relace R je (relace) uspořádání, jestliže je reflexivní, antisymetrická a tranzitivní.

Reflexivita relace R vyjadřuje, že každý prvek x X je v relaci "sám se sebou". Relace R je reflexivní, právě když má binární matice M R na diagonále samé jedničky, což je právě když v orientovaném grafu relace R je u každého vrcholu "smyčka". Symetrie relace R vyjadřuje, že x,y R, právě když y,x R. Tedy relace R je symetrická pokud x,y X máme bud současně x,y R a y,x R, nebo současně x,y / R a y,x / R. Relace R je symetrická, právě když její binární matice M R je symetrická dle hlavní diagonály. V grafu relace se symetrie projevuje tak, že mezi vrcholy x, y bud není žádná hrana, nebo vede hrana z x do y i z y do x.

Reflexivita relace R vyjadřuje, že každý prvek x X je v relaci "sám se sebou". Relace R je reflexivní, právě když má binární matice M R na diagonále samé jedničky, což je právě když v orientovaném grafu relace R je u každého vrcholu "smyčka". Symetrie relace R vyjadřuje, že x,y R, právě když y,x R. Tedy relace R je symetrická pokud x,y X máme bud současně x,y R a y,x R, nebo současně x,y / R a y,x / R. Relace R je symetrická, právě když její binární matice M R je symetrická dle hlavní diagonály. V grafu relace se symetrie projevuje tak, že mezi vrcholy x, y bud není žádná hrana, nebo vede hrana z x do y i z y do x.

Antisymetrie relace R vyjadřuje, že pro každé dva různé prvky x,y X neplatí současně x,y R a y,x R. R je antisymetrická, právě když každá dvě různá pole matice M R, která jsou souměrná dle hlavní diagonály, neobsahují dvě jedničky. V grafu relace se antisymetrie projevuje tak, že mezi dvěma různými vrcholy x, y je bud jedna hrana nebo žádná. Tranzitivita relace R vyjadřuje, že pokud x,y R a pokud y,z R, pak také x,z R, tj. neformálně pokud x je ve vztahu R s y (v grafu vede hrana z x do y) a pokud je y ve vztahu R se z (v grafu vede hrana z y do z), pak je i x ve vztahu R se z (v grafu vede hrana z x do z). Neboli, pokud v grafu můžeme přejít z vrcholu x do vrcholu z po dvou hranách přes vrchol y, pak lze přejít z x do z přímo (z x do z vede hrana).

Antisymetrie relace R vyjadřuje, že pro každé dva různé prvky x,y X neplatí současně x,y R a y,x R. R je antisymetrická, právě když každá dvě různá pole matice M R, která jsou souměrná dle hlavní diagonály, neobsahují dvě jedničky. V grafu relace se antisymetrie projevuje tak, že mezi dvěma různými vrcholy x, y je bud jedna hrana nebo žádná. Tranzitivita relace R vyjadřuje, že pokud x,y R a pokud y,z R, pak také x,z R, tj. neformálně pokud x je ve vztahu R s y (v grafu vede hrana z x do y) a pokud je y ve vztahu R se z (v grafu vede hrana z y do z), pak je i x ve vztahu R se z (v grafu vede hrana z x do z). Neboli, pokud v grafu můžeme přejít z vrcholu x do vrcholu z po dvou hranách přes vrchol y, pak lze přejít z x do z přímo (z x do z vede hrana).

Vlastnosti konečných relací je možné testovat zcela mechanicky prostě tím, že ověříme, zda-li platí definiční podmínky dané vlastnosti. Uvědomme si, že k prokázání toho, že daná vlastnost neplatí stačí najít jen jednu n-tici prvků, pro kterou definiční předpis neplatí taková n-tice prvků nám slouží jako protipříklad. Pokud chceme ukázat, že vlastnost pro danou relaci R platí, musíme provést test pro všechny prvky. Příklad Jaké vlastnosti má relace rovnoběžnosti a relace kolmosti na množině všech přímek v rovině? Řešení viz přednášky.

Vlastnosti konečných relací je možné testovat zcela mechanicky prostě tím, že ověříme, zda-li platí definiční podmínky dané vlastnosti. Uvědomme si, že k prokázání toho, že daná vlastnost neplatí stačí najít jen jednu n-tici prvků, pro kterou definiční předpis neplatí taková n-tice prvků nám slouží jako protipříklad. Pokud chceme ukázat, že vlastnost pro danou relaci R platí, musíme provést test pro všechny prvky. Příklad Jaké vlastnosti má relace rovnoběžnosti a relace kolmosti na množině všech přímek v rovině? Řešení viz přednášky.

Příklad Jak víme, speciálními relacemi jsou prázdná relace /0, relace identity ω X ={ x,x x X} a kartézský čtverec ι X = X 2. Ukažme si jaké mají tyto relace vlastnosti: /0 není reflexivní, je symetrická, je antisymetrická, je tranzitivní ω X je reflexivní, symetrická, antisymetrická a tranzitivní (tedy je ekvivalencí i uspořádáním) ι X je reflexivní, je symetrická, je tranzitivní (tedy je ekvivalence) a je antisymetrická X =1. Příklad Zjistěte jaké vlastnosti má následující relace R na X ={a,b,c,d}, je-li R ={ a,b, b,a, b,b, b,c }. Řešení viz přednášky.

Příklad Zjistěte jaké vlastnosti má následující binární relace R na X ={a,b,c,d}, je-li R ={ a,a, a,d, b,b, b,d c,a, c,b, c,c, c,d, d,d }. Zřejmě R je reflexivní, tranzitivní a antisymetrická a není symetrická. Je to tedy relace uspořádání. Příklad Relace S ={ m,n m Z,n Z, kde m má stejný počet cifer jako n} je ekvivalence, která není antisymetrická. Příklad Relace T ={ x,y x N,y N, x y 4} je reflexivní, je symetrická, není tranzitivní a není antisymetrická. Relace T tedy není ekvivalencí ani uspořádáním.

Věta Necht R je binární relace na množině X. Pak (i) R je reflexivní, právě když ω X R, (ii) R je symetrická, právě když R = R 1, (iii) R je antisymetrická, právě když R R 1 ω X, (iv) R je tranzitivní, právě když R R R. Důkaz (iv): Necht R je tranzitivní a necht x,y R R. Pak existuje z X takové, že x,z R a z,y R, tedy z tranzitivity x,y R, tj. R R R. Obráceně, necht platí R R R, pak pokud x,z R a z,y R, pak x,y R R R, tedy R je tranzitivní.

Věta Necht R,S,T jsou binární relace na X, kde S T. Pak (i) S 1 T 1, (ii) S R T R, (iii) R S R T. Důkaz: (i): Zřejmé. (ii): Necht x,y S R, pak z X tak, že x,z S, z,y R. Jelikož ale S T, dostáváme x,z T, tedy x,y T R. Odkud S R T R. (iii): Analogicky jako (ii).

Některé další vlastnosti binárních relací na množině Definice Necht R je binární relace na X. Řekneme, že R je irreflexivní, pokud pro každé x X platí x,x / R asymetrická, pokud pro každé x,y X platí x,y R y,x / R úplná, pokud pro každé x,y X platí x,y R y,x R. Irreflexivita relace R vyjadřuje, že žádný prvek x X není v relaci "sám se sebou". Asymetrie relace R vyjadřuje, že do R nepadnou x,y a y,x současně. Úplnost relace R vyjadřuje, že pro každé dva x,y X aspoň jedna z dvojic x,y, y,x padne do R.

Uzávěry relací Ke každé binární relaci můžeme stanovit její reflexivní, symetrický a tranzitivní uzávěr, to jest nejmenší reflexivní, symetrickou a tranzitivní relaci na dané množině, která obsahuje výchozí relaci. Přesněji: pro binární relaci R na X definujeme binární relace Ref(R), Sym(R), Tra(R) na X tak, že Ref(R) (Sym(R), případně Tra(R)) je reflexivní (symetrická, případně tranzitivní) relace obsahující R a pro každou reflexivní (symetrickou, případně tranzitivní) relaci R na X, kde R R, máme Ref(R) R (Sym(R) R, případně Tra(R) R ). Ref(R) se nazývá reflexivní uzávěr R, Sym(R) se nazývá symetrický uzávěr R, Tra(R) se nazývá tranzitivní uzávěr R.

Uzávěry relací Následující věta říká, že všechny tři uvedené uzávěry existují vždy ke každé binární relaci na libovolné množině a lze je konstruktivně popsat. Věta Necht R je binární relace na X. Pak Ref(R)=R ω X Sym(R)=R R 1 Tra(R)= n=1 R n, kde R 1 = R a R n = R R n 1. Poznámka: R n se nazývá n-tá mocnina R. Je-li R binární relace na X, kde X =n, pak Tra(R)= n i=1 R i. Poznámka: Tranzitivní uzávěry relací se často používají v informatice, například v teorii automatů (viz dále).