Description: A subring of a unital ring is a subring of a non-unital ring. (Contributed by AV, 30-Mar-2025)