Consequence Conservation

The property of a translation, mapping, or extension between logical systems that guarantees entailments (consequences) in one system correspond to entailments in the other, so no consequences are spuriously added or lost under the translation.