ok, takze pre pana halasku, co to je relace?
zacnime tym, ze mame nieco, co nazyvame mnozina :). Mnozina je plne urcena svojimi prvkami (vyctom). V mnozine nezalezi na poradi prvkov. Usporiadana k-tica, ktorej prvky sa mozu aj opakovat, sa nazyva variacia.
Relace je zase usporiadana k-tica prvkov. Ak mnozinam A a B definujeme ich kartezsky sucin AxB, ako mnozinu, ktorej prvkami su vsetky usporiadane dvojice (a,b), kde a je z A a b je z B. Cela mnozina AxB sa univerzalna relace - to znamena vratane prazdnej mnoziny. Domena je mnozina vsetkych prvkov z A, ktore su vo vztahu s B. Nakolko su relace mnoziny, tak relace nesmie obsahovat duplicitne prvky.
Este si k tomu dopisme, ze co je zobrazenie a sme fertig. Nech A a B su opat lubovolne mnoziny, zobrazenim A -> B rozumieme predpis, ktory kazdemu prvku z A priradi prvok z B.
