射影闭包

projective closure