Symbolic power of a prime ideal
Definition
Let be a commutative unital ring, a prime ideal of and a positive integer. The symbolic power of , denoted as is defined as the set:
Equivalently, it is the pre-image of the power of the localized ideal in the localization .