a blacksmith's Device with a short head similar to a cold chisel established transversely on to a handle and made use of, when struck that has a hammer, for removing lengths of iron bars A more official statement with the axiom of selection is: the Cartesian product of every indexed relatives