Definition

Suppose , then is necessary for