Regular Languages Closed Under Union/Intersection (Product Construction)