Def/Quotient ring



=Metadata=