własności relacji iteRacj@: Niech uniwersum relacji r będzie zbiór 2^Z, gdzie r={(A,B): A∩B=∅}. Mam odpowiedzieć na pytanie, czy relacja r jest przeciwzwrotna. Nie wiem, czy przy takim uniwersum zbiór A może być zbiorem pustym?

Adamm: A czy ∅∊2^Z ?

iteRacj@: Nie należy.

Adamm: Zaznaczam, że B∊2^C znaczy dokładnie to samo co B⊂C

iteRacj@: Czy chodzi o to, że elementami tej relacji są zbiory?

Adamm: r = {(A, B)∊2^Zx2^Z : A∩B = ∅}

iteRacj@:

	1
Czy ja dobrze rozumiem, że do relacji należą np. pary {1,2}r{		},
	4

	1
{4,8,16,32}r{		,1}?
	16

Adamm: Nie, bo nie wiadomo czy {1, 2} jest z 2^Z o Z nie wiadomo praktycznie nic

iteRacj@: Te zbiory skopiowałam z odpowiedzi w innej grupie. Teraz widzę, że kompletnie bez sensu. Wieczorem zastanowię się nad tym zadaniem i będę pytać dalej. Zbiór A może być zbiorem pustym, tak?

Adamm: A∊2^Z ⇔ A⊂Z teraz, czy może być A = ∅ ?

iteRacj@: Zbiór pusty jest podzbiorem każdego zbioru, więc A może być zbiorem pustym i B też. Jeśli A=∅ i B=∅, to A∩B=∅. Para (∅,∅) należy do relacji, więc nie jest to relacja przeciwzwrotna. Czy teraz jest poprawnie?

Adamm: Jest ok

iteRacj@: wreszcie się udało : ) dzięki!