ascending Kleene chain