Commutative ring/Ideal/Superheight/Definition