Existence of the Algebraic Free Product Probability Space