The document describes several set laws: 1) The idempotent law states that the union of a set with itself is the set itself, e.g. A ∪ A = A. 2) The associative law states that the order of operations does not matter when taking unions or intersections of three or more sets. 3) The commutative law states that the order of sets does not matter when taking their union, e.g. A ∪ B = B ∪ A. 4) The distributive law states that taking the union of a set with the intersection of two other sets equals the intersection of the unions of the first set with each of the other two sets. 5)