Za sve [inlmath]A[/inlmath], [inlmath]B[/inlmath] i [inlmath]C[/inlmath] vazi:
[dispmath]P(A)\Delta P(B\cap C)\subset P(A\cup B)\cap P(C)[/dispmath] Da li je tacno ako ove partitivne skupove posmatramo kao obicne skupove i predstavimo ih Venovim dijagramima, te na taj nacin utvrdimo tacnost ovog tvrdjenja?