Ak množina koreňov rovnice obsahuje množinu koreňov rovnice , potom rovnica sa nazýva dôsledkom rovnice .

Якщо множина коренів рівняння містить множину коренів рівняння , то рівняння називають наслідком рівняння .

Приклад застосування терміна в українській мові

Два рівняння рівносильні тоді й тільки тоді, коли кожне з них є наслідком іншого.