A subring is a subset of a ring that is itself a ring with respect to the same operations of addition and multiplication. It must contain the multiplicative identity if the larger ring has one, and it must be closed under subtraction and multiplication, inheriting the ring properties from the larger ring.