ˈpɹɒd.əkt ˈpɹɑd.əkt the set of ordered pairs of two given sets