Ideal (source code)

= Ideal
{wiki=Ideal_(ring_theory)}

An ideal is an additive subgroup of a <ring> that absorbs multiplication by ring elements.