Eksempel: Alle strenger med et partall antall tegn
Hvordan ville du definert alle strenger over $\{a, b\}$ som har et oddetall antall tegn induktivt?
Hint: Du kan spesifisere at mer enn et element er med i basismengden, og du må ikke ha den tomme strengen i basismengden.