  Using the combinatorics of non-crossing partitions, we construct a
conditionally free analogue of the Voiculescu's S-transform. The result is
applied to analytical description of conditionally free multiplicative
convolution and characterization of infinite divisibility.
