
and probabilities \(p_1,p_2>0\)  with \(p_1+p_2=1\) .
It is known (since at least [1]}) that the IFS \((S_i)_{i=1,2}\)  satisfies the finite type condition, and thus satisfies the finite neighbour condition with respect to the iteration rule from ex:uniform-transition.
