Definition of Nonterminus