In [1, 4], Fulton defines the notion of the Segre class s(X, Y) ∈ A∗X of a closed embedding of schemes X→ Y over a field k. As in Fulton, all of our schemes are finite type over a ground field k which may be of arbitrary characteristic unless stated otherwise. The Segre class allows us to measure the way in which X sits inside Y, and is functorial for sufficiently nice maps ([1, 4.2]). One impo...