Definition:Necessary Condition