produkt produkt: Sprawdź czy Ax(BxC) = (AxB)xC. Jak to rozpisać? Jakby w nawiasach zamiast kolejnego produktu kartezjańskiego były sumy/przekroje/różnice/.. mnogościowe, to wiedziałbym jak to zrobić, ale tu nie wiem, więc uprzejmie proszę o pomoc.

Basia: (x,y,z)∊Ax(BxC) ⇔ x∊A ∧ (y,z)∊BxC ⇔ x∊A ∧ (y∊B ∧ z∊C) ⇔ (x∊A ∧ y∊B) ∧ z∊C ⇔(x,y)∊AxB ∧ z∊C ⇔ (x,y,z)∊(AxB)xC

produkt: Dziękuję!