 William Fulton in "Intersection Theory" (1984) writes

... if and are subvarieties of a non-singular variety , the intersection product should be an equivalence class of algebraic cycles closely related to the geometry of how , and are situated in .Two extreme cases have been most familiar.If the intersection is "proper", i.e.