Internal direct product