The forms of all semisymmetric, branching, multidimensional measures of inset information on open domains are determined. This is done for both the complete and the possibly incomplete partition cases. The key to these results is to find the general solution of the functional equation $$(*)\Delta \left( {\begin{array}{*{20}c} {E,F} \\ {p,q} \\ \end{array} } \right) + \Delta \left( {\begin{array}{*{20}c} {E \cup F,G} \\ {p + q,r} \\ \end{array} } \right) = \Delta \left( {\begin{array}{*{20}c} {E,G} \\ {p,r} \\ \end{array} } \right) + \Delta \left( {\begin{array}{*{20}c} {E \cup G,F} \\ {p + r,q} \\ \end{array} } \right)$$ for all(p, q, r) ∈ D3:={(p1, p2, p3)∣pi∈]0, 1[k(i = 1,2,3),p1+ p2+ p3∈]0, 1[k} and all (E, F, G) for which there exists anH with (E, F, G, H) ∈ ℒ4:={(E1,⋯,E4)∣Ei ∈ ℛ\{O},E1∩Ej = O for alli ≠ j}. Here, ℛ is a ring of subsets of a given universal set. Functional equation (*) is solved by use of the general solution of the generalized characteristic equation of branching information measures.