A subset of a ring is a subring if and only if…

  1. is non-empty.
  2. is closed under both addition and multiplication of .
  3. contains the negative (i.e. the additive inverse) of each of its elements.