Real intersection theory (II)

Continuing from part (I), we develop properties of real intersection theory that turns out to be an extension of the well-established theory in algebraic geometry.