Równoważnośc

[Jan Kraszewski]

Ale wiesz, czym jest klasa abstrakcji? Bo na razie fundamentalnie nie zgadzają Ci się byty.

Klasa abstrakcji relacji nie jest podzbiorem relacji, tylko podzbiorem zbioru, na którym określona jest relacja. Zatem elementami klasy abstrakcji nie są pary, tylko elementy zbioru \(A\).

JK

[Nadine]

Czyli \(\displaystyle{ Ra = \{a,c,d \}, Rb= \{b\} }\)

Dodano po 12 minutach 17 sekundach:
Dobrze teraz mówię?

[Jan Kraszewski]

Dobrze.

Mam tylko trochę wątpliwości co do oznaczeń \(\displaystyle{ R_a,R_b}\). No ale może takich używacie.

JK

[Nadine]

Znaczy oznaczenie jest chyba obojętne. W zasadzie zgodzę się, że powinno raczej być \(\displaystyle{ R_1, R_2}\). W każdym razie dziękuję bardzo za pomoc. Przepraszam, że tak opornie szło

[Jan Kraszewski]

Znaczy oznaczenie jest chyba obojętne.

Nie do końca - niektóre oznaczenia mogą być mylące.

W zasadzie zgodzę się, że powinno raczej być \(\displaystyle{ R_1, R_2}\).

Standardowe oznaczenie to raczej \(\displaystyle{ [a]_R, [b{}]_R}\).

JK

[Nadine]

Dziękuję tym bardziej