Een regel die aangeeft hoe data kunnen worden afgeleid uit andere data. […] Gebaseerd op de definitie in ISO 15143-2:2010. Een afleiding is een transformatie zoals een logische regel of berekening.
In de logica is een 'afleidingsregel' een regel die uit een aantal proposities een propositie afleidt.