From subtractive ideals of semirings to deductive and inductive sets in general algebras

Abstract

In this paper we extend the characterisation of kernels in semirings as subtractive ideals to general algebras. We then analyse the counterparts of ``subtractive'' and ``ideal'' in several different algebraic settings.