Relasjoner

[avinar]

Vi definerer nå en relasjon på P(X) ved
A ∼ B ⇐⇒ A△B ∈
a)Vis at hvis A ∼ C og B ∼ D, så er A∪B ∼ C∪D.
b) Vis at hvis A ∼ C og B ∼ D,så er A∩B ∼ C∩D.
b) La X = {[A] : A ⊆ X} være samlingen av alle ekvivalensklassene til X. Forklar at vi kan definere to regneoperasjoner ⊔ og ⊓ på X ved
[A] ⊓ = [A ∩ B] og [A] ⊔ = [A ∪ B]
noen som kan hjelpe????