Keempat identitas benar: \((A\cap B)\cap C=A\cap(B\cap C)\text{,}\) \((A\cup B)\cup C=A\cup(B\cup C)\text{,}\) \(A\cap(B\cup C)=(A\cap B)\cup(A\cap C)\text{,}\) dan \(A\cup(B\cap C)=(A\cup B)\cap(A\cup C)\text{.}\)