单调超网语言的一个泵引理

A pumping lemma for monotonous super-nets languages