-- Kostra 4. domaci ulohy IB015
-- Po vyreseni cely obsah souboru vlozte do odpovedniku.

-- Nezapomente, ze jine funkce a moduly importovat nesmite.
import Data.List ( nub, sort )

type Relation = [(Char, Char)]

-- Nosna mnozina nasich relaci
letters :: [Char]
letters = ['a'..'z']


-- Nasledujici funkce mate za ukol implementovat.

idRel :: Relation
idRel = undefined

union :: Relation -> Relation -> Relation
union xs ys = undefined

intersection :: Relation -> Relation -> Relation
intersection xs ys = undefined

equal :: Relation -> Relation -> Bool
equal xs ys = undefined

composition :: Relation -> Relation -> Relation
composition xs ys = undefined

power :: Relation -> Int -> Relation
power xs n = undefined

inverse :: Relation -> Relation
inverse xs = undefined

isReflexive :: Relation -> Bool
isReflexive xs = undefined

isSymmetric :: Relation -> Bool
isSymmetric xs = undefined

isTransitive :: Relation -> Bool
isTransitive xs = undefined

isAntisymmetric :: Relation -> Bool
isAntisymmetric xs = undefined