This document discusses closure properties of regular languages under various operations. It proves that regular languages are closed under union, concatenation, Kleene star, reversal, complement, and intersection by constructing non-deterministic finite automata (NFAs) to recognize the languages resulting from these operations. Examples are provided to illustrate the constructions of NFAs for union, concatenation, Kleene star, and reversal. The document also discusses using DeMorgan's laws to show closure under complement and intersection.