Defines an algebraic structure extension known as a ring extension.