The judgment on well-implied enumeration method is given.

• 给出良性隐式枚举的判别条件。