Template:Curing-ideal-defining function

This article defines an ideal-defining function, viz a rule that inputs a commutative unital ring and outputs an ideal of that ring