First Kleene algebra