Равносильность —
Или эквивалентность, утверждений (формул) Аи В — понятие, означающее, что при каждом допустимом наборе значений параметров утверждения Аи Воба истинны или оба ложны. Напр., Р. уравнений, неравенств и их систем означает совпадение множеств их решений.
Математическая энциклопедия