By Birkhoff's completeness theorem, equational theories characterize varieties closed under products...