UA рівня́ння-на́слідок (на́слідок рівня́ння)
Якщо множина коренів рівняння містить множину коренів рівняння , то рівняння називають наслідком рівняння .
RO ecuáţie-consecínţă (consecínţă a ecuáţiei)
Dacă mulţimea soluţiilor ecuaţiei conţine mulţimea soluţiilor ecuaţiei , atunci ecuaţia este numită consecinţă a ecuaţiei .
Приклад застосування терміна в українській мові
Два рівняння рівносильні тоді й тільки тоді, коли кожне з них є наслідком іншого.