Apparently an ironmonger is, historicly, a blacksmith. http://www.thefreedictionary.com/ironmongers -- "In the case of an infinite collection, the question of the existence of a choice function is problematic"