In de
ringtheorie, een deelgebied van de
wiskunde, is een
deelring een
deelverzameling van een
ring, die de
multiplicatieve identiteit bevat en die zelf ook een ring is onder dezelfde
binaire operaties als de oorspronkelijke ring. Voor auteurs die niet eisen dat ringen een multiplicatieve identiteit bevatten hoeven deelringen deze multiplicatieve identiteit ook niet te bezitten (als er ten minste een multiplicatieve identiteit bestaat). Het laten vervallen van deze eis leidt tot het extra voordeel dat
idealen deelringen worden.