n. a subset of a ring that is itself a ring under the same binary operations of addition and multiplication.