Definition

Suppose , then is sufficient for