Product (category theory)

Alternatively, the product may be defined through equations. So, for example, for the binary product: