Relacje - Dziedzina i przeciwdziedzina

Relacje Relacja Niech: - dowolne zbiory Wtedy: Każdy podzbiór R: nazywamy n - argumentową relacją w iloczynie kartezjańskim Dowolny podzbiór zbioru: Dziedzina i przeciwdziedzina relacji Niech: Dziedzina relacji R: Przeciwdziedzina relacji R: Relacja odwrotna Niech: Relacją odwrotną do relacji R nazywamy relację taka że: Twierdzenie 1: dowód: y - dowolny : Twierdzenie 2: dowód: x - dowolny : Twierdzenie 3: dowód: Złożenie relacji Niech: i Złożeniem relacji R z relacją S nazywamy relację taka że: Jeżeli Twierdzenie 1: dowód: x - dowolny : Twierdzenie 2: dowód: y - dowolny : Twierdzenie 3: dowód: ... zobacz całą notatkę