Category:Definitions/Internal Direct Products