Erasing rule

In a formal grammar, an erasing rule is a rule which maps a string of symbols to the empty string (ε).

Formally, an erasing rule is an ε-production, like