A moving lemma for relative $0$-cycles

We prove a moving lemma for the additive and ordinary higher Chow groups of relative $0$-cycles of regular semi-local $k$-schemes essentially of finite type over an infinite perfect field. From this, we show that the cycle classes can be represented by cycles that possess certain finiteness, surjectivity, and smoothness properties. It plays a key role in showing that the crystalline cohomology of smooth varieties can be expressed in terms of algebraic cycles.