Un subconjunto no vacío formula_2 es un subanillo de formula_3, si,