Union is idempotent.

Union is commutative.

Union is associative.

Union is left self-distributive.

$$A \cup (B \cup C) = (A \cup B) \cup (A \cup C)$$Union is right self-distributive.

$$(B \cup C) \cup A = (B \cup A) \cup (C \cup A)$$Union is self-distributive.