  We define the 2-Deligne tensor product of two finite semisimple 2-categories
using a 3-universal property, and present its fundamental properties. In
particular, we prove that the 2-Deligne tensor product of two (multi)fusion
2-categories is a (multi)fusion 2-category.
