ZS1BP_SALG

                                          Důležité pojmy

Relace ekvivalence.

Rozklad množiny.

Relace ostrého lineárního uspořádání.

První prvek lineárně uspořádané množiny.

Poslední prvek lineárně uspořádané množiny.

Dobře uspořádaná množina.

Relace zobrazení z množiny M do množiny N.

Definiční obor zobrazení.

Obor hodnot zobrazení.

Relace zobrazení z množiny M na množinu N.

Relace zobrazení celé množiny M do množiny N.

Relace zobrazení celé množiny M na množinu N.

Prosté zobrazení z množiny M do množiny N.

Vzájemně jednoznačné zobrazení množiny M na množinu N.

Permutace množiny M.

Ekvivalentní množiny A, B.

Konečná množina.

Nekonečná množina.

Binární algebraická operace ○.

Operace ○ má vlastnost ND.

Operace ○ má vlastnost K.

Operace ○ má vlastnost A.

----------------------------------------------------------------------------------------------

Operace ○ má vlastnost EN.

Inverzní prvek k prvku a vzhledem k operaci ○.

Operace ○ má vlastnost EI.

Operace ○ má vlastnost ZR.

Algebraická struktura (M, ○) je grupoid.

Algebraická struktura (M, ○) je pologrupa.

Algebraická struktura (M, ○) je grupa.

Operace * je distributivní vzhledem k operaci ○.

Algebraická struktura (M, ⊕, ⊙) je polookruh.

Algebraická struktura (M, ⊕, ⊙) je okruh.

Algebraická struktura (M, ⊕, ⊙) je těleso.

Dělitelé nuly okruhu (M, ⊕, ⊙).

Algebraická struktura (M, ⊕, ⊙) je obor integrity.

Izomorfismus algebraických struktur (M, ○) a (M, *).