scheme-theoretic intersection

ウィキペディアから