Estructuras matemáticas en que la operación aditiva está definida pero no la operación de sustracción incluyen, por ejemplo, semigrupos conmutativos, monoides conmutativos y semianillos.