 The intersection of two cycles and is called "proper" if the codimension of the (set-theoretic) intersection is the sum of the codimensions of and , respectively, i.e.the "expected" value.Therefore, the concept of "moving cycles" using appropriate equivalence relations on algebraic cycles is used.