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

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

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

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

Množiny, relace, zobrazení

Matematická logika. Miroslav Kolařík

Úvod do informatiky. Miroslav Kolařík

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

3 Množiny, Relace a Funkce

Co je to univerzální algebra?

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

Lineární algebra : Lineární prostor

4. Kombinatorika a matice

Základní pojmy teorie množin Vektorové prostory

0.1 Úvod do lineární algebry

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

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

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

Množinu všech slov nad abecedou Σ značíme Σ * Množinu všech neprázdných slov Σ + Jazyk nad abecedou Σ je libovolná množina slov nad Σ

METRICKÉ A NORMOVANÉ PROSTORY

Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic

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.

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

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 α

IB112 Základy matematiky

Matice. Předpokládejme, že A = (a ij ) je matice typu m n: diagonálou jsou rovny nule.

RELACE, OPERACE. Relace

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

1 Báze a dimenze vektorového prostoru 1

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.

GRAFY A GRAFOVÉ ALGORITMY

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

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Bakalářská matematika I

Matematická analýza III.

Úvod do informatiky. Miroslav Kolařík

Matematická analýza pro informatiky I.

Matice. a m1 a m2... a mn

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

Matematická analýza 1

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

PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy

Teorie informace a kódování (KMI/TIK) Reed-Mullerovy kódy

Úvodní informace. 17. února 2018

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

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce

0. ÚVOD - matematické symboly, značení,

Množinu všech matic typu m n nad tělesem T budeme označovat M m n (T ), množinu všech čtvercových matic stupně n nad T pak M n (T ).

1 Determinanty a inverzní matice

Výhody a nevýhody jednotlivých reprezentací jsou shrnuty na konci kapitoly.

transformace je posunutí plus lineární transformace má svou matici vzhledem k homogenním souřadnicím [1]

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

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

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

Databázové systémy. Cvičení 2

0.1 Úvod do lineární algebry

TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.

1 Linearní prostory nad komplexními čísly

VEKTOR. Vymyslete alespoň tři příklady vektorových a skalárních fyzikálních veličin. vektorové: 1. skalární

Matematická analýza III.

7. Funkce jedné reálné proměnné, základní pojmy

2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

6.1 Vektorový prostor

Databáze I. Přednáška 2

Algebraické struktury s jednou binární operací

doplněk, zřetězení, Kleeneho operaci a reverzi. Ukážeme ještě další operace s jazyky, na které je

A[a 1 ; a 2 ; a 3 ] souřadnice bodu A v kartézské soustavě souřadnic O xyz

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

Afinita je stručný název pro afinní transformaci prostoru, tj.vzájemně jednoznačné afinní zobrazení bodového prostoru A n na sebe.

PŘEDNÁŠKA 7 Kongruence svazů

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

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

verze 1.3 kde ρ(, ) je vzdálenost dvou bodů v R r. Redukovaným ε-ovým okolím nazveme ε-ové okolí bodu x 0 mimo tohoto bodu, tedy množinu

Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.

Úvod do lineární algebry

Numerická matematika 1

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

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

Vybrané kapitoly z matematiky

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

Afinní transformace Stručnější verze

Kapitola 11: Vektory a matice 1/19

MENDELOVA UNIVERZITA V BRNĚ LDF MT MATEMATIKA VEKTORY, MATICE

MENDELOVA UNIVERZITA V BRNĚ LDF MT MATEMATIKA VEKTORY, MATICE

(Cramerovo pravidlo, determinanty, inverzní matice)

ZÁKLADNÍ ZOBRAZOVACÍ METODY

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

A0M15EZS Elektrické zdroje a soustavy ZS 2011/2012 cvičení 1. Jednotková matice na hlavní diagonále jsou jedničky, všude jinde nuly

4. Statika základní pojmy a základy rovnováhy sil

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

i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice

Náhodné jevy. Teorie pravděpodobnosti. Náhodné jevy. Operace s náhodnými jevy

PŘEDNÁŠKA 2 POSLOUPNOSTI

Zadání semestrálního projektu Algoritmy II. letní semestr 2017/2018

goniometrickém tvaru z 1 = z 1 (cosα 1 +isinα 1 ), z 2 = z 2 (cosα 2 +isinα 2 ) Jejich součin = z 1 ( z 2 z 2 Jejich podíl: n-tá mocnina:

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

Základy matematiky pro FEK

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

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

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

Transkript:

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

Obsah 1 Pojem relace 2 Vztahy a operace s (binárními) relacemi 3 Binární relace a jejich reprezentace

Obsah 1 Pojem relace 2 Vztahy a operace s (binárními) relacemi 3 Binární relace a jejich reprezentace

Pojem relace je matematickým protějškem běžně používaného pojmu vztah. Např. dvě přímky v rovině mohou být ve vztahu "býti rovnoběžné". Dva členové rodiny mohou být ve vztahu "být sourozencem". Číslo 3 je ve vztahu "být menší" s číslem 5 ne však s číslem 2. Tři body v rovině mohou být ve vztahu "ležet na jedné přímce". Všimněme si, čím je vztah určen. Za prvé je to tzv. arita vztahu, tj. číslo udávající počet objektů, které do vztahu vstupují. Za druhé jsou to množiny, jejichž prvky do vztahu vstupují. Základním pojmem je pojem uspořádané n-tice prvků. Uspořádaná n-tice objektů x 1,...,x n (v tomto pořadí) se označuje x 1,...,x n. Prvek x i (1 i n) se nazývá i-tá složka dané n-tice. Rovnost definujeme tak, že x 1,...,x n = y 1,...,y m, právě když n = m a x 1 = y 1,...,x n = y n.

Pojem relace je matematickým protějškem běžně používaného pojmu vztah. Např. dvě přímky v rovině mohou být ve vztahu "býti rovnoběžné". Dva členové rodiny mohou být ve vztahu "být sourozencem". Číslo 3 je ve vztahu "být menší" s číslem 5 ne však s číslem 2. Tři body v rovině mohou být ve vztahu "ležet na jedné přímce". Všimněme si, čím je vztah určen. Za prvé je to tzv. arita vztahu, tj. číslo udávající počet objektů, které do vztahu vstupují. Za druhé jsou to množiny, jejichž prvky do vztahu vstupují. Základním pojmem je pojem uspořádané n-tice prvků. Uspořádaná n-tice objektů x 1,...,x n (v tomto pořadí) se označuje x 1,...,x n. Prvek x i (1 i n) se nazývá i-tá složka dané n-tice. Rovnost definujeme tak, že x 1,...,x n = y 1,...,y m, právě když n = m a x 1 = y 1,...,x n = y n.

Definice Kartézský součin množin X 1,...,X n je množina X 1 X n definovaná předpisem X 1 X n = { x 1,...,x n x 1 X 1,...,x n X n }. Je-li X 1 = = X n = X pak X 1 X n značíme také X n (n-tá kartézská mocnina množiny X). Například pro množiny A = {x,y}, B = {1,2,3} je A B = { x,1, x,2, x,3, y,1, y,2, y,3 }, A 2 = { x,x, x,y, y,x, y,y }, B A = { 1,x, 1,y, 2,x, 2,y, 3,x, 3,y }. Všimněme si, že obecně A B B A. Uspořádanou 1-tici x obvykle ztotožňujeme s prvkem x (tj. x = x). Potom tedy X 1 je vlastně množina X.

Definice Kartézský součin množin X 1,...,X n je množina X 1 X n definovaná předpisem X 1 X n = { x 1,...,x n x 1 X 1,...,x n X n }. Je-li X 1 = = X n = X pak X 1 X n značíme také X n (n-tá kartézská mocnina množiny X). Například pro množiny A = {x,y}, B = {1,2,3} je A B = { x,1, x,2, x,3, y,1, y,2, y,3 }, A 2 = { x,x, x,y, y,x, y,y }, B A = { 1,x, 1,y, 2,x, 2,y, 3,x, 3,y }. Všimněme si, že obecně A B B A. Uspořádanou 1-tici x obvykle ztotožňujeme s prvkem x (tj. x = x). Potom tedy X 1 je vlastně množina X.

Můžeme přistoupit k definici pojmu relace. Definice Necht X 1,...,X n jsou množiny. Relace R mezi X 1,...,X n je libovolná podmnožina kartézského součinu X 1 X n. Číslu n říkáme arita relace R, R se nazývá n-ární. Pro n = 1,2,3,4 se místo n-ární používá také unární, binární, ternární, kvaternární. To, že R je unární relace v X vlastně znamená, že R X.

Můžeme přistoupit k definici pojmu relace. Definice Necht X 1,...,X n jsou množiny. Relace R mezi X 1,...,X n je libovolná podmnožina kartézského součinu X 1 X n. Číslu n říkáme arita relace R, R se nazývá n-ární. Pro n = 1,2,3,4 se místo n-ární používá také unární, binární, ternární, kvaternární. To, že R je unární relace v X vlastně znamená, že R X.

Příklad. V jisté rodině žije s rodiči syn, dcera a babička těchto dětí z matčiny strany. (Mezi těmito osobami existují různé vztahy neboli relace.) Pro konkrétnost si představme, že nejmladší v rodině je dcera, nejstarší babička a otec je starší než matka. Každou n-ární relaci R v rodině X = {o,m,d,s,b} můžeme popsat pomocí množiny uspořádaných n-tic osob x 1,x 2,...,x n R n, které jsou v příslušné relaci. Tak například binární relace R: "osoba x 1 je mladší než osoba x 2 ", je charakterizována množinou uspořádaných dvojic R = { d, s, d,m, d,o, d,b, s,m, s,o, s,b, m,o, m,b, o,b }, binární relaci P: "osoba x 1 je stejného pohlaví jako osoba x 2 ", odpovídá množina uspořádaných dvojic P = { d,d, d,m, m,d, d,b, b,d, m,b, b,m, m,m, b,b, s,s, s,o, o,s, o,o } a ternární relaci T : "x 1 je dítětem x 2 a x 3 ", kde x 2 je otec a x 3 je matka, odpovídá množina usp. trojic T = { d,o,m, s,o,m }.

Pojem relace má ústřední roli v tzv. relačním databázovém modelu. Tzv. relační pohled na databáze spočívá v tom, že databázi chápeme jako relaci. Například databázi znázorněnou v následující tabulce, která obsahuje v řádcích vybrané název rok výroby barva cena.. Škoda Favorit 1993 bílá 10 000 Škoda Felicia 1996 modrá 19 000 Škoda Felicia 1997 červená 31 000 Škoda Forman 1993 bílá 5 000.. informace o autech fiktivního autobazaru, můžeme chápat jako 4-ární relaci R mezi množinami (těm se v databázích říká domény) D 1 = {..., Škoda Favorit, Škoda Felicia, Škoda Forman,...}, D 2 = {n N 1900 n 2010}, D 3 = {..., bílá, červená, modrá,...}, D 4 = {z Z 0 z 10000000}. Tedy R D 1 D 2 D 3 D 4.....

Relace jsou dány záznamy (řádky) v databázi, takže například Škoda Favorit, 1993, bílá, 10 000 R apod. V relačních databázích jsou zavedeny i jiné operace než ty, které zavedeme my (například SELECT). Tyto operace slouží k manipulaci a zpřístupňování dat v databázi a lze se s nimi setkat v každé učebnici databázových systémů. Samozřejmě, že lze s databázemi provádět i základní množinové operace: sjednocení, průnik a rozdíl.

Obsah 1 Pojem relace 2 Vztahy a operace s (binárními) relacemi 3 Binární relace a jejich reprezentace

Vztahy a operace s (binárními) relacemi Relace jsou množiny. Proto s nimi lze provádět množinové operace (,,\) a lze na ně aplikovat vztah rovnosti a inkluze (=, ). S binárními relacemi lze provádět i další operace. Začneme tzv. inverzní relací. Inverzní relací k relaci R X Y je relace R 1 mezi Y a X definovaná předpisem: R 1 = { y,x x,y R}. Další operací je tzv. skládání. Je-li R relací mezi množinami X a Y a S relací mezi množinami Y a Z, pak složením relací R a S je relace R S mezi X a Z definovaná předpisem R S = { x,z y Y : x,y R a y,z S}.

Vztahy a operace s (binárními) relacemi Relace jsou množiny. Proto s nimi lze provádět množinové operace (,,\) a lze na ně aplikovat vztah rovnosti a inkluze (=, ). S binárními relacemi lze provádět i další operace. Začneme tzv. inverzní relací. Inverzní relací k relaci R X Y je relace R 1 mezi Y a X definovaná předpisem: R 1 = { y,x x,y R}. Další operací je tzv. skládání. Je-li R relací mezi množinami X a Y a S relací mezi množinami Y a Z, pak složením relací R a S je relace R S mezi X a Z definovaná předpisem R S = { x,z y Y : x,y R a y,z S}.

Vztahy a operace s (binárními) relacemi Relace jsou množiny. Proto s nimi lze provádět množinové operace (,,\) a lze na ně aplikovat vztah rovnosti a inkluze (=, ). S binárními relacemi lze provádět i další operace. Začneme tzv. inverzní relací. Inverzní relací k relaci R X Y je relace R 1 mezi Y a X definovaná předpisem: R 1 = { y,x x,y R}. Další operací je tzv. skládání. Je-li R relací mezi množinami X a Y a S relací mezi množinami Y a Z, pak složením relací R a S je relace R S mezi X a Z definovaná předpisem R S = { x,z y Y : x,y R a y,z S}.

Věta Pro relace R X Y, S Y Z, T Z U platí a) (R 1 ) 1 = R b) (R S) 1 = S 1 R 1 c) R (S T ) = (R S) T. K důkazu c): x,u R (S T ) y Y : x,y R a y,u S T y Y : x,y R a z Z : y,z S a z,u T y Y a z Z : x,y R, y,z S, z,u T z Z : x,z R S a z,u T x,u (R S) T.

Věta Pro relace R X Y, S Y Z, T Z U platí a) (R 1 ) 1 = R b) (R S) 1 = S 1 R 1 c) R (S T ) = (R S) T. K důkazu c): x,u R (S T ) y Y : x,y R a y,u S T y Y : x,y R a z Z : y,z S a z,u T y Y a z Z : x,y R, y,z S, z,u T z Z : x,z R S a z,u T x,u (R S) T.

Přirozených způsobů jak skládat relace existuje více. Předpokládejme opět, že R X Y, S Y Z. Pak R S, R S a R S jsou relace mezi X a Z definované předpisy R S = { x,z y Y : pokud x,y R, pak y,z S}; R S = { x,z y Y : pokud y,z S, pak x,y R}; R S = { x,z y Y : x,y R, právě když y,z S}. Zřejmě relace je podmnožinou relace i. Platí, že =.

Obsah 1 Pojem relace 2 Vztahy a operace s (binárními) relacemi 3 Binární relace a jejich reprezentace

Binární relace lze znázorňovat tabulkami. Např. relace R = { 1,α, 1,δ, 2,β, 2,γ, 3,α } mezi množinami X = {1,2,3} a Y = {α,β,γ,δ,ε} je znázorněna v následující tabulce: R α β γ δ ε 1 2 3 Tedy, je-li x,y R, je v průsečíku řádku x a sloupce y symbol, jinak tam není nic. Poznámka. Chceme-li matematické pojmy zpracovávat v počítači, je třeba je vhodným způsobem reprezentovat (uložit je v paměti počítače tak, aby výpočty s danými pojmy byly rychlé).

Binární relace lze znázorňovat tabulkami. Např. relace R = { 1,α, 1,δ, 2,β, 2,γ, 3,α } mezi množinami X = {1,2,3} a Y = {α,β,γ,δ,ε} je znázorněna v následující tabulce: R α β γ δ ε 1 2 3 Tedy, je-li x,y R, je v průsečíku řádku x a sloupce y symbol, jinak tam není nic. Poznámka. Chceme-li matematické pojmy zpracovávat v počítači, je třeba je vhodným způsobem reprezentovat (uložit je v paměti počítače tak, aby výpočty s danými pojmy byly rychlé).

I. Reprezentace maticí (tabulkou) Matice typu m n je obdélníkové schéma o m řádcích a n sloupcích, ve kterém se na každém místě odpovídajícím nějakému řádku a nějakému sloupci nachází nějaká (nejčastěji číselná) hodnota. Označme takovou matici M. Pro každé i {1,...,m} a j {1,...,n} označme m ij prvek matice z průsečíku řádku i a sloupce j. Matice (a tabulky) představují základní způsob reprezentace binárních relací. Necht R je relace mezi množinami X = {x 1,...,x m } a Y = {y 1,...,y n }. Relaci R reprezentujeme maticí (tabulkou), ve které se na místě odpovídajícímu řádku i a sloupci j nachází hodnota, která určuje zda dvojice x i,y j je v relaci R. Obvykle se používá 1 (popř. ) k označení x i,y j R a 0 (popř. prázdné místo) k označení x i,y j / R.

Matice M R reprezentující relaci R {x 1,...,x m } {y 1,...,y n } je definována předpisem m ij = 1 je-li x i,y j R, m ij = 0 je-li x i,y j / R. M R se nazývá matice relace R. Naopak také, každá binární matice M typu m n, tj. matice s hodnotami 0 a 1, reprezentuje relaci mezi X = {x 1,...,x m } a Y = {y 1,...,y n }.

Příklad Tabulková a maticová reprezentace relace R mezi množinami X = {α,β,γ,δ} a Y = {1,2,3}, kde R = { α,1, α,3, β,1, β,2, γ,3, δ,2, δ,3 }: R 1 2 3 α β γ δ M R = 1 0 1 1 1 0 0 0 1 0 1 1 Poznámka. Maticová reprezentace je názorná. Její nevýhodou je velká pamět ová složitost. (Např. matice 1000 1000 má milion políček; má-li jen 3000 jedniček, uchovává se zbytečně i 997000 nul. Pro takové případy se používají jiné reprezentace).

Pro binární matice můžeme zavést operace, které odpovídají operacím s relacemi. Mějme binární matice M, N typu m n a matici K typu n k. Definujme následující operace: M N = P, p ij = max{m ij,n ij }; M N = P, p ij = min{m ij,n ij }; M N = P, p ij = max{0,m ij n ij }; M K = P, M T, m T ij = m ji. p ij = max{m il k lj ; l = 1,...,n}; Například operace přiřazuje maticím M a N matici P, jejíž každý prvek p ij je roven maximu z hodnot m ij a n ij.

Operace s relacemi lze provádět pomocí vhodných operací s maticemi. Věta Pro relace R,S X Y, U Y Z je M R S = M R M S ; M R S = M R M S ; M R S = M R M S ; M R U = M R M U ; M R 1 = (M R ) T. Důkaz je jednoduchý stačí porovnat definice operací s maticemi a definice operací s relacemi.

II. Reprezentace grafem Grafy představují další způsob reprezentace binárních relací, který je názorný. Graf binární relace R na množině X dostaneme tak, že každý prvek x X znázorníme v rovině jako kroužek s označením daného prvku. Pokud x,y R, nakreslíme z kroužku odpovídajícího x do kroužku odpovídajícího y orientovanou čáru (se šipkou). Poznámka. Graf je jedním ze základních pojmů tzv. diskrétní matematiky. Zde nebyl definován přesně.

III. Reprezentace seznamem seznamů Další způsob reprezentace pro uložení binární relace R na množině X (pro uložení binární relace v paměti počítače) je reprezentace seznamem seznamů. Tuto reprezentaci tvoří hlavní (spojový) seznam, ve kterém jsou uloženy všechny prvky množiny X. Z každého prvku x X hlavního seznamu vede seznam obsahující právě ty y X, pro které x,y R. Poznámka. Reprezentace seznamem seznamů je pamět ově úsporná a je vhodná pro počítačové zpracování. (Např. u výše zmíněné relace R ( R = 3000) na množině X s 1000 prvky bude mít hlavní seznam 1000 prvků + průměrně 3 políčka pro prvky z něho vedoucí; včetně ukazatelů potřebuje zhruba 2 krát 4000 pamět ových buněk; přičemž maticová reprezentace jich potřebovala jeden milion.) Poznámka. Spojový seznam je jednou ze základních datových struktur. Více o něm viz jakoukoli učebnici algoritmů a datových struktur.

III. Reprezentace seznamem seznamů Další způsob reprezentace pro uložení binární relace R na množině X (pro uložení binární relace v paměti počítače) je reprezentace seznamem seznamů. Tuto reprezentaci tvoří hlavní (spojový) seznam, ve kterém jsou uloženy všechny prvky množiny X. Z každého prvku x X hlavního seznamu vede seznam obsahující právě ty y X, pro které x,y R. Poznámka. Reprezentace seznamem seznamů je pamět ově úsporná a je vhodná pro počítačové zpracování. (Např. u výše zmíněné relace R ( R = 3000) na množině X s 1000 prvky bude mít hlavní seznam 1000 prvků + průměrně 3 políčka pro prvky z něho vedoucí; včetně ukazatelů potřebuje zhruba 2 krát 4000 pamět ových buněk; přičemž maticová reprezentace jich potřebovala jeden milion.) Poznámka. Spojový seznam je jednou ze základních datových struktur. Více o něm viz jakoukoli učebnici algoritmů a datových struktur.