Les structures mathématiques où il existe une opération d'addition, mais où l'opération de soustraction n'est pas toujours définie comprennent les demi-groupes commutatifs, les monoïdes commutatifs et les demi-anneaux. 具有加法运算但没有减法运算的数学结构包括可交换半群、可交换幺半群,以及半环。