projective space P^n에서 임의의 subset Y에 대해서 \bar{Y}를 zariski closure of Y in P^n이라고 하면


I(Y) = I(\bar{Y})는 항상 같은 거 맞죠?