  We define and study a certain relative tensor product of subfactors over a
modular tensor category. This gives a relative tensor product of two completely
rational heterotic full local conformal nets with trivial superselection
structures over a common chiral representation category. In particular, we have
a new realization of fusion rules of modular invariants. This also gives a
mathematical definition of a composition of two gapped domain walls between
topological phases.
