Universal algebra commonly holds that if a congruence τ is imposed on an algebra A, the quotient algebra A/τ retains the structure of the such kind of the algebra A. In this paper, we provide a congruence relation τ using a k-ideal on a (3, n) -semiring A that transforms the quotient structure A/τ to be a (3, n) -ring.