Iloczyn kartezjański Nienor: (A\B)x(A\C)=A\(BxC) P=(A\B)x(A\C)={x∊A ∧ x∉B}x{y∊A ∧ y∉C}={(x,y): x∊A ∧ x∉B ∧ y∊A ∧ y∉C L=A\(BxC)={(x,y): x∊A ∧ y∊A ∧ x∉B ∧ y∉C} = {(x,y): x∊A ∧ x∉B ∧ y∊A ∧ y∉C} Zapisy mogą być nieszczególne, ale chyba jest dobrze.