Property of many logical systems that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences
la logika principo, ke la konsekvencoj de iu aro da hipotezoj estas subaro de la konsekvencoj de pli granda aro da hipotezoj (eo)
property of many logical systems that if a sentence follows deductively from a given set of sentences then it also follows deductively from any superset of those sentences (en)