Internal Direct Products of Groupoids

When generalizing the internal direct product from groups to all groupoids (binary systems), it has been customary to imitate the group case by making restrictions, especially the existence of an identity element. This article develops what seems a natural basic definition of internal direct product, then uses it as a background against which to compare more popular restricted versions.