definition by contraposition

Мат. определение через противоположение