A function f:Σ∗→Σ∗ that maps one Regular Language to another. Properties f(∅)=∅ Examples Insertion Language Function