Intersection is idempotent.

$$A \cap A = A$$Intersection is commutative.

$$A \cap B = B \cap A$$Intersection is associative.

$$A \cap B \cap C = A \cap (B \cap C)$$Intersection is left self-distributive.

$$A \cap (B \cap C) = (A \cap B) \cap (A \cap C)$$Intersection is right self-distributive.

$$(B \cap C) \cap A = (B \cap A) \cap (C \cap A)$$Intersection is self-distributive.