n (algebra) a ring which is contained in a larger ring, such that the multiplication and addition on the former are a restriction of those on the latter