Def/Principal ideal

 =Metadata=